diff --git a/build/shared/lib/preferences.txt b/build/shared/lib/preferences.txt index c891a9ac8..87bc7bdab 100755 --- a/build/shared/lib/preferences.txt +++ b/build/shared/lib/preferences.txt @@ -104,8 +104,6 @@ editor.invalid=false console = true console.output.file = stdout.txt console.error.file = stderr.txt -console.font = Monospaced,plain,11 -console.font.macosx = Monaco,plain,10 console.lines = 4 # set to false to disable automatically clearing the console @@ -213,7 +211,3 @@ browser.linux = mozilla # set to the program to be used for launching apps on linux #launcher.linux = gnome-open - -# coloring for the editor line number status bar at the bottom of the screen -linestatus.font = SansSerif,plain,10 -linestatus.height = 20 diff --git a/build/shared/lib/theme/theme.txt b/build/shared/lib/theme/theme.txt index f82620f85..c22f0f705 100644 --- a/build/shared/lib/theme/theme.txt +++ b/build/shared/lib/theme/theme.txt @@ -16,6 +16,8 @@ header.text.unselected.color = #ffffff header.text.font = SansSerif,plain,12 # GUI - CONSOLE +console.font = Monospaced,plain,11 +console.font.macosx = Monaco,plain,10 console.color = #000000 console.output.color = #cccccc console.error.color = #ff3000 @@ -85,14 +87,15 @@ editor.operator.style = #000000,plain # like in case statements or goto editor.label.style = #7e7e7e,bold - # TEXT - COMMENTS - editor.comment1.style = #7e7e7e,plain editor.comment2.style = #7e7e7e,plain - # FULL SCREEN (PRESENT MODE) run.present.bgcolor = #666666 run.present.stop.color = #cccccc + +# LINE STATUS - editor line number status bar at the bottom of the screen +linestatus.font = SansSerif,plain,10 +linestatus.height = 20