summaryrefslogtreecommitdiff
path: root/DevTools/HackStudio
diff options
context:
space:
mode:
authorAndreas Kling <awesomekling@gmail.com>2019-11-15 20:37:27 +0100
committerAndreas Kling <awesomekling@gmail.com>2019-11-15 21:03:22 +0100
commit834eff7983476a6ae0eb2bf23481c20169c6f305 (patch)
tree5c174ebf3006491fe2a83d28953cc960be75ae6e /DevTools/HackStudio
parent57f7009b9e7f01391a1e41dbb93a5f35ee2c0863 (diff)
downloadserenity-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.cpp1
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);