Please add a keyboard shortcut to open the Library Manager #6335
Labels
Component: IDE user interface
The Arduino IDE's user interface
feature request
A request to make an enhancement (not a bug fix)
Comments
feikname
changed the title
facchinm
added
Component: IDE user interface
facchinm
pushed a commit
that referenced
this issue
Oct 11, 2017
It's easier to access it there Also, a shortcut was added to it: Ctrl + Shift + O My original plan was for it to be "Control + Shift + K", but for some reason it doesn't work in my Xubuntu 17.04. Fixes #6335
facchinm
pushed a commit
that referenced
this issue
Oct 16, 2017
It's easier to access it there Also, a shortcut was added to it: Ctrl + Shift + O My original plan was for it to be "Control + Shift + K", but for some reason it doesn't work in my Xubuntu 17.04. Fixes #6335
facchinm
pushed a commit
to facchinm/Arduino
that referenced
this issue
Oct 18, 2017
It's easier to access it there Also, a shortcut was added to it: Ctrl + Shift + O My original plan was for it to be "Control + Shift + K", but for some reason it doesn't work in my Xubuntu 17.04. Fixes arduino#6335
cmaglie
pushed a commit
that referenced
this issue
Oct 23, 2017
It's easier to access it there Also, a shortcut was added to it: Ctrl + Shift + O My original plan was for it to be "Control + Shift + K", but for some reason it doesn't work in my Xubuntu 17.04. Fixes #6335
|
Fixed in f8621b0. edit: wrong commit. |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
It's a GUI used often by me, and having a option to open it by keystrokes instead of navigating through the menu would greatly improve my workflow (and of many people, I hope).
Suggested shortcut: Ctrl + Shift + K (No idea why, it's just what comes to my mind)
The text was updated successfully, but these errors were encountered: