From 834eff7983476a6ae0eb2bf23481c20169c6f305 Mon Sep 17 00:00:00 2001
From: Andreas Kling <awesomekling@gmail.com>
Date: Fri, 15 Nov 2019 20:37:27 +0100
Subject: [PATCH] HackStudio: Mark whitespace tokens as skippable
 GTextDocumentSpans

This makes Ctrl+Left/Right jump over whitespace, which feels nice :^)
---
 DevTools/HackStudio/main.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/DevTools/HackStudio/main.cpp b/DevTools/HackStudio/main.cpp
index 61be7ba8f48..4c6ee230a7b 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);