New theme colors for android
|
Before Width: | Height: | Size: 2.6 KiB After Width: | Height: | Size: 2.6 KiB |
|
Before Width: | Height: | Size: 92 B After Width: | Height: | Size: 73 B |
|
Before Width: | Height: | Size: 62 B After Width: | Height: | Size: 70 B |
|
Before Width: | Height: | Size: 96 B After Width: | Height: | Size: 104 B |
|
Before Width: | Height: | Size: 46 B After Width: | Height: | Size: 54 B |
|
Before Width: | Height: | Size: 839 B After Width: | Height: | Size: 71 B |
|
Before Width: | Height: | Size: 62 B After Width: | Height: | Size: 70 B |
|
Before Width: | Height: | Size: 96 B After Width: | Height: | Size: 104 B |
|
Before Width: | Height: | Size: 46 B After Width: | Height: | Size: 54 B |
|
Before Width: | Height: | Size: 63 B After Width: | Height: | Size: 71 B |
@@ -1,20 +1,21 @@
|
||||
# GUI - STATUS
|
||||
status.notice.fgcolor = #000000
|
||||
#status.notice.bgcolor = #808080
|
||||
status.notice.bgcolor = #819e48
|
||||
#status.notice.bgcolor = #819e48
|
||||
status.notice.bgcolor = #94a697
|
||||
status.error.fgcolor = #ffffff
|
||||
status.error.bgcolor = #66002c
|
||||
status.edit.fgcolor = #000000
|
||||
#status.edit.bgcolor = #cc9900
|
||||
status.edit.bgcolor = #6b8a2e
|
||||
status.edit.bgcolor = #94a697
|
||||
status.font = SansSerif,plain,12
|
||||
#status.font.macosx = Helvetica,plain,12
|
||||
|
||||
# GUI - TABS
|
||||
# settings for the tabs at the top
|
||||
# (tab images are stored in the lib/theme folder)
|
||||
header.bgcolor = #8cac4e
|
||||
header.text.selected.color = #1a1a00
|
||||
header.bgcolor = #94a697
|
||||
header.text.selected.color = #000000
|
||||
header.text.unselected.color = #ffffff
|
||||
header.text.font = SansSerif,plain,12
|
||||
#header.text.font.macosx = Helvetica,plain,12
|
||||
@@ -24,27 +25,23 @@ header.text.font = SansSerif,plain,12
|
||||
console.color = #000000
|
||||
console.output.color = #cccccc
|
||||
#console.error.color = #ff3000
|
||||
console.error.color = #cc0050
|
||||
console.error.color = #f2a4c6
|
||||
|
||||
# GUI - BUTTONS
|
||||
buttons.bgcolor = #55682f
|
||||
buttons.bgcolor = #5d715f
|
||||
buttons.status.font = SansSerif,plain,12
|
||||
#buttons.status.font.macosx = Helvetica,plain,12
|
||||
buttons.status.color = #ffffff
|
||||
|
||||
# GUI - MODE
|
||||
mode.button.bgcolor = #9ca6b0
|
||||
#mode.button.font = SansSerif,plain,9
|
||||
mode.button.bgcolor = #5d715f
|
||||
mode.button.font = SansSerif,plain,9
|
||||
#mode.button.font.macosx = Helvetica,plain,9
|
||||
#mode.button.color = #4a545e
|
||||
#mode.button.color = #a8cb62
|
||||
mode.button.color = #a3be6f
|
||||
mode.button.color = #acbdaf
|
||||
|
||||
# GUI - LINESTATUS - editor line number status bar at the bottom of the screen
|
||||
linestatus.color = #ffffff
|
||||
#linestatus.bgcolor = #364517
|
||||
linestatus.bgcolor = #343f1d
|
||||
linestatus.bgcolor = #364d39
|
||||
linestatus.font = SansSerif,plain,10
|
||||
#linestatus.font.macosx = Helvetica,plain,10
|
||||
linestatus.height = 20
|
||||
@@ -52,7 +49,7 @@ linestatus.height = 20
|
||||
|
||||
# EDITOR - DETAILS
|
||||
|
||||
# foreground and background colors
|
||||
# foreground and background colors
|
||||
editor.fgcolor = #000000
|
||||
editor.bgcolor = #ffffff
|
||||
|
||||
@@ -69,7 +66,7 @@ editor.external.bgcolor = #c8d2dc
|
||||
|
||||
# selection color
|
||||
#editor.selection.color = #ffcc00
|
||||
editor.selection.color = #ebf3da
|
||||
editor.selection.color = #d1dbbb
|
||||
|
||||
# area that's not in use by the text (replaced with tildes)
|
||||
editor.invalid.style = #7e7e7e,bold
|
||||
@@ -86,11 +83,11 @@ editor.brackethighlight.color = #006699
|
||||
# TEXT - syntax highlighting
|
||||
|
||||
# e.g abstract, final, private
|
||||
editor.keyword1.style = #799b34,plain
|
||||
editor.keyword1.style = #627516,plain
|
||||
# e.g. beginShape, point, line
|
||||
editor.keyword2.style = #799b34,plain
|
||||
editor.keyword2.style = #627516,plain
|
||||
# e.g. byte, char, short, color
|
||||
editor.keyword3.style = #799b34,bold
|
||||
editor.keyword3.style = #627516,bold
|
||||
|
||||
# constants: e.g. null, true, this, RGB, TWO_PI
|
||||
#editor.literal1.style = #627f26,plain
|
||||
@@ -107,5 +104,5 @@ editor.label.style = #7e7e7e,bold
|
||||
|
||||
#editor.comment1.style = #7e7e7e,plain
|
||||
#editor.comment2.style = #7e7e7e,plain
|
||||
editor.comment1.style = #8e8e8e,plain
|
||||
editor.comment2.style = #8e8e8e,plain
|
||||
editor.comment1.style = #666666,plain
|
||||
editor.comment2.style = #666666,plain
|
||||
|
||||