noisymime
/
Arduino
mirror of https://github.com/noisymime/Arduino.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Editor on MacOSX: editor.keys.home_and_end_beginning_end_of_doc, when set to true, makes HOME and END keys go to the beginning and end of the line. Fixes #3715

This commit is contained in:
Federico Fissore 2015-08-24 09:25:21 +02:00
parent 36e43713c2
commit fa78f718ce
2 changed files with 7 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
app/src/processing/app/syntax/SketchTextAreaDefaultInputMap.java
View File

@ -49,6 +49,11 @@ public class SketchTextAreaDefaultInputMap extends RSyntaxTextAreaDefaultInputMa
put(KeyStroke.getKeyStroke(KeyEvent.VK_UP, defaultModifier | shift), DefaultEditorKit.selectionBeginAction);
put(KeyStroke.getKeyStroke(KeyEvent.VK_DOWN, defaultModifier | shift), DefaultEditorKit.selectionEndAction);
if (PreferencesData.getBoolean("editor.keys.home_and_end_to_start_end_of_doc")) {
put(KeyStroke.getKeyStroke(KeyEvent.VK_HOME, 0), DefaultEditorKit.beginLineAction);
put(KeyStroke.getKeyStroke(KeyEvent.VK_END, 0), DefaultEditorKit.endLineAction);
}
}
put(KeyStroke.getKeyStroke(KeyEvent.VK_DIVIDE, defaultModifier), RSyntaxTextAreaEditorKit.rstaToggleCommentAction);

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

@ -118,11 +118,8 @@ editor.keys.alternative_cut_copy_paste.macosx = false
# false if shift-backspace just means backspace
editor.keys.shift_backspace_is_delete = true
# home and end keys should only travel to the start/end of the current line
editor.keys.home_and_end_travel_far = false
# the OS X HI Guidelines say that home/end are relative to the document
# if you don't like it, this is the preference to change
editor.keys.home_and_end_travel_far.macosx = true
# if set to true, home/end keys will go to the start/end of current line
editor.keys.home_and_end_beginning_end_of_doc = false
console = true
console.output.file = stdout.txt