HackStudio: Mark whitespace tokens as skippable GTextDocumentSpans

This makes Ctrl+Left/Right jump over whitespace, which feels nice :^)
This commit is contained in:
Andreas Kling 2019-11-15 20:37:27 +01:00
parent 57f7009b9e
commit 834eff7983

View file

@ -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);