diff options
author | Andreas Kling <awesomekling@gmail.com> | 2019-11-15 20:37:27 +0100 |
---|---|---|
committer | Andreas Kling <awesomekling@gmail.com> | 2019-11-15 21:03:22 +0100 |
commit | 834eff7983476a6ae0eb2bf23481c20169c6f305 (patch) | |
tree | 5c174ebf3006491fe2a83d28953cc960be75ae6e /DevTools/HackStudio | |
parent | 57f7009b9e7f01391a1e41dbb93a5f35ee2c0863 (diff) | |
download | serenity-834eff7983476a6ae0eb2bf23481c20169c6f305.zip |
HackStudio: Mark whitespace tokens as skippable GTextDocumentSpans
This makes Ctrl+Left/Right jump over whitespace, which feels nice :^)
Diffstat (limited to 'DevTools/HackStudio')
-rw-r--r-- | DevTools/HackStudio/main.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/DevTools/HackStudio/main.cpp b/DevTools/HackStudio/main.cpp index 61be7ba8f4..4c6ee230a7 100644 --- a/DevTools/HackStudio/main.cpp +++ b/DevTools/HackStudio/main.cpp @@ -483,6 +483,7 @@ static void rehighlight() auto style = style_for_token_type(token.m_type); span.color = style.color; span.font = style.font; + span.is_skippable = token.m_type == CppToken::Type::Whitespace; spans.append(span); } current_editor().document().set_spans(spans); |