Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add user interface to manually select a keyboard layout #4879

Closed
spoenemann opened this issue Apr 11, 2019 · 0 comments · Fixed by #5088
Closed

Add user interface to manually select a keyboard layout #4879

spoenemann opened this issue Apr 11, 2019 · 0 comments · Fixed by #5088
Assignees
@spoenemann
Labels
keybindings issues related to keybindings

Comments

@spoenemann
Copy link
Contributor

Follow-up of #4724: in case the user's keyboard layout could not be detected or the detection was wrong, the user should have an easy option to choose a layout from a list. This choice should be stored somewhere.
@spoenemann spoenemann added the keybindings issues related to keybindings label Apr 11, 2019
This was referenced Apr 25, 2019
Closed
Closed
@spoenemann spoenemann self-assigned this May 7, 2019
spoenemann added a commit that referenced this issue May 7, 2019
@spoenemann
Several improvements in browser keyboard handling
27e2130 
 - #4879: added command to choose a keyboard layout
 - BrowserKeyboardLayoutProvider state is stored in LocalStorage
 - Added several static keyboard layouts

Signed-off-by: Miro Spönemann <miro.spoenemann@typefox.io>
spoenemann added a commit that referenced this issue May 7, 2019
@spoenemann
Several improvements in browser keyboard handling
899ac49 
 - #4879: added command to choose a keyboard layout
 - BrowserKeyboardLayoutProvider state is stored in LocalStorage
 - Added several static keyboard layouts

Signed-off-by: Miro Spönemann <miro.spoenemann@typefox.io>
@spoenemann spoenemann mentioned this issue May 7, 2019
Merged
spoenemann added a commit that referenced this issue May 8, 2019
@spoenemann
Several improvements in browser keyboard handling
5ff8d79 
 - #4879: added command to choose a keyboard layout
 - BrowserKeyboardLayoutProvider state is stored in LocalStorage
 - Added several static keyboard layouts

Signed-off-by: Miro Spönemann <miro.spoenemann@typefox.io>
fangnx pushed a commit to fangnx/theia that referenced this issue May 8, 2019
@spoenemann
Several improvements in browser keyboard handling
e5d1601 
 - eclipse-theia#4879: added command to choose a keyboard layout
 - BrowserKeyboardLayoutProvider state is stored in LocalStorage
 - Added several static keyboard layouts

Signed-off-by: Miro Spönemann <miro.spoenemann@typefox.io>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@spoenemann spoenemann

Labels
keybindings issues related to keybindings
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Several improvements in browser keyboard handling eclipse-theia/theia
1 participant
@spoenemann