1
0
mirror of https://github.com/arduino/Arduino.git synced 2025-02-18 12:54:25 +01:00
Flavio Monteiro f8621b0421 Add Menu+Shift+I shortcut to the Library Manager
Please note that this commit actually adds the shortcut to its menu
entry under the "Tools" menu.

As a side effect, the shortcut tip is only shown in this entry and not
on the another one.

Menu usually means the Ctrl key on most modern systems.
2017-10-30 11:04:26 +01:00
..
2017-05-18 15:36:17 +02:00
2017-05-18 15:36:17 +02:00