diff options
author | Christian Kandeler <[email protected]> | 2023-09-14 12:15:19 +0200 |
---|---|---|
committer | Christian Kandeler <[email protected]> | 2023-09-18 11:50:09 +0000 |
commit | bdded29b33bb22b8996dfb5f04f85c02404f1c2c (patch) | |
tree | 6f6e697ab35f6226d670a219a3ce31550d0718c2 /src/plugins/terminal/terminalwidget.cpp | |
parent | 2842eeeeccd61f6b1a68c869b3c7db9a51bf1143 (diff) |
qbs build: Improve some base items
Clean-up, simplification and modernization.
Also fix the bugs uncovered by this.
Change-Id: Ia3a77557f10faf9a901540a55fd6c07a2e986bf5
Reviewed-by: Christian Stenger <[email protected]>
Diffstat (limited to 'src/plugins/terminal/terminalwidget.cpp')
-rw-r--r-- | src/plugins/terminal/terminalwidget.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/plugins/terminal/terminalwidget.cpp b/src/plugins/terminal/terminalwidget.cpp index 3cf390f51cc..681ad9c538f 100644 --- a/src/plugins/terminal/terminalwidget.cpp +++ b/src/plugins/terminal/terminalwidget.cpp @@ -12,6 +12,7 @@ #include <coreplugin/coreconstants.h> #include <coreplugin/editormanager/editormanager.h> #include <coreplugin/fileutils.h> +#include <coreplugin/find/textfindconstants.h> #include <coreplugin/icore.h> #include <coreplugin/messagemanager.h> |