diff options
| -rw-r--r-- | src/plugins/texteditor/basetexteditor.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/plugins/texteditor/basetexteditor.h b/src/plugins/texteditor/basetexteditor.h index d13a7aea67..3edf8f7b16 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, |
