1
0
mirror of https://github.com/arduino/Arduino.git synced 2024-12-04 15:24:12 +01:00
Arduino/app/src
Federico Fissore 054a901b99 New editor: keypad arrows were ignored. Added bindings to make them work like
normal arrows. No modifiers attached, so no shift/ctrl/etc combination: it
screws up text
Fixes #2317
2015-06-03 09:33:46 +02:00
..
cc/arduino Command line --get-pref may be used without name of the target pref. 2015-05-29 15:16:51 +02:00
processing/app New editor: keypad arrows were ignored. Added bindings to make them work like 2015-06-03 09:33:46 +02:00