diff options
| author | Dmitrii Ubskii <ubskydm@gmail.com> | 2021-06-12 04:50:23 +0300 |
|---|---|---|
| committer | Linus Groh <mail@linusgroh.de> | 2021-06-13 12:33:15 +0100 |
| commit | 8501617fcb750bc8f540dc524faf47ce5b5961c9 (patch) | |
| tree | 08cf3feac135e00e8ee302a2f1ba3db7af4816e2 /Base/res/themes/Coffee.ini | |
| parent | 920b4d730e04a37e7247ce9a456af39a16705188 (diff) | |
| download | serenity-8501617fcb750bc8f540dc524faf47ce5b5961c9.zip | |
LibGUI+HackStudio: Make gutter a first class element
Gutter -- a space left of the text, before the ruler -- is not a part of
the ruler, nor should it be treated as such. This commit implements
gutter handling in LibGUI::TextEditor as part of mild cleaning up of the
gutter handling (breakpoint icons) in HackStudio's Editor.
This commit also enables separate theming of the gutter.
Diffstat (limited to 'Base/res/themes/Coffee.ini')
| -rw-r--r-- | Base/res/themes/Coffee.ini | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Base/res/themes/Coffee.ini b/Base/res/themes/Coffee.ini index 19f3c37a4c..ccbaaff429 100644 --- a/Base/res/themes/Coffee.ini +++ b/Base/res/themes/Coffee.ini @@ -43,6 +43,8 @@ RubberBandBorder=#594fbf Link=#0000ff ActiveLink=#ee0000 VisitedLink=#551a8b +Gutter=#aeb2c3 +GutterBorder=#5d6069 Ruler=#aeb2c3 RulerBorder=#5d6069 RulerActiveText=#5d6069 |