From 53b8df81554c3a83d181de4c9934d4206dc776ff Mon Sep 17 00:00:00 2001
From: Roberto Raggi <roberto.raggi@nokia.com>
Date: Fri, 21 May 2010 15:42:05 +0200
Subject: [PATCH] Introduced a new kind of extra selection that we can use to
mark undefined symbols.
---
src/plugins/texteditor/basetexteditor.h | 1 +
1 file changed, 1 insertion(+)
diff --git a/src/plugins/texteditor/basetexteditor.h b/src/plugins/texteditor/basetexteditor.h
index d13a7aea67e..3edf8f7b163 100644
--- a/src/plugins/texteditor/basetexteditor.h
+++ b/src/plugins/texteditor/basetexteditor.h
@@ -335,6 +335,7 @@ public:
ParenthesesMatchingSelection,
CodeWarningsSelection,
CodeSemanticsSelection,
+ UndefinedSymbolSelection,
UnusedSymbolSelection,
FakeVimSelection,
OtherSelection,
--
GitLab