Introduced a new kind of extra selection that we can use to mark undefined symbols.

53b8df81 · Roberto Raggi · a4245c17 · 53b8df81
Commit 53b8df81 authored May 21, 2010 by Roberto Raggi
--- a/src/plugins/texteditor/basetexteditor.h
+++ b/src/plugins/texteditor/basetexteditor.h
@@ -335,6 +335,7 @@ public:
        ParenthesesMatchingSelection,
        CodeWarningsSelection,
        CodeSemanticsSelection,
+        UndefinedSymbolSelection,
        UnusedSymbolSelection,
        FakeVimSelection,
        OtherSelection,