arduino/esp8266
1
0
Fork 0
mirror of https://github.com/esp8266/Arduino.git synced 2025-07-30 16:24:09 +03:00
Code Activity

Merge branch 'master' into ide-1.5.x

Browse Source
This commit is contained in:
Cristian Maglie
2013-11-04 10:36:53 +01:00
parent be30113f09 89d6841ac0
commit c4823ccfc4
6 changed files with 174 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
build/shared/lib/preferences.txt
View File

@ -104,6 +104,9 @@ editor.caret.blink=true
# area that's not in use by the text (replaced with tildes)
editor.invalid=false
# show line numbers in editor
editor.linenumbers = false
# enable ctrl-ins, shift-ins, shift-delete for cut/copy/paste
# on windows and linux, but disable on the mac
editor.keys.alternative_cut_copy_paste = true