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 /Userland/DevTools/HackStudio/EditorWrapper.h | |
| 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 'Userland/DevTools/HackStudio/EditorWrapper.h')
0 files changed, 0 insertions, 0 deletions