diff options
Diffstat (limited to 'context/data/scite/scite-context.properties')
| -rw-r--r-- | context/data/scite/scite-context.properties | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/context/data/scite/scite-context.properties b/context/data/scite/scite-context.properties index 5e57d8fcd..4abd2ee29 100644 --- a/context/data/scite/scite-context.properties +++ b/context/data/scite/scite-context.properties @@ -320,6 +320,8 @@ Ctrl+F12|IDM_BUILD|\ Shift+F12|IDM_GO|\ Alt+F12|IDM_STOPEXECUTE|\ +os.x.home.end.keys=0 + # Editor: fonts if PLAT_WIN @@ -330,6 +332,10 @@ if PLAT_GTK font.monospace=font:!Dejavu Sans Mono,size:14 font.errorfont=font:!Dejavu Sans Mono,size:8 +if PLAT_MAC + font.monospace=font:Dejavu Sans Mono,size:14 + font.errorfont=font:Dejavu Sans Mono,size:8 + font.base=$(font.monospace) font.comment=$(font.monospace) font.text=$(font.monospace) |