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/Light.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/Light.ini')
| -rw-r--r-- | Base/res/themes/Light.ini | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Base/res/themes/Light.ini b/Base/res/themes/Light.ini index c3a294c4e3..8a55d0bcb4 100644 --- a/Base/res/themes/Light.ini +++ b/Base/res/themes/Light.ini @@ -47,6 +47,8 @@ RubberBandBorder=#598dc6 Link=blue ActiveLink=red VisitedLink=magenta +Gutter=#d4d0c8 +GutterBorder=#404040 Ruler=#d4d0c8 RulerBorder=#404040 RulerActiveText=#404040 |