diff options
author | Leandro Melo <leandro.melo@nokia.com> | 2010-10-11 12:40:09 +0200 |
---|---|---|
committer | Leandro Melo <leandro.melo@nokia.com> | 2010-10-11 13:13:52 +0200 |
commit | 8d48b3a03e2a01e68bba06a3a0c66f97cb552cf0 (patch) | |
tree | 855db6f938b1a0637d97fd13caceb31fb718cdf0 /src/plugins/texteditor/generichighlighter/manager.h | |
parent | f58770712d6837542219e26cfe0a55241d691f49 (diff) | |
download | qt-creator-8d48b3a03e2a01e68bba06a3a0c66f97cb552cf0.tar.gz |
Generic highlighter: Don't nag about the missing definition if info bar was once closed.
Reviewed-by: con
Diffstat (limited to 'src/plugins/texteditor/generichighlighter/manager.h')
-rw-r--r-- | src/plugins/texteditor/generichighlighter/manager.h | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/plugins/texteditor/generichighlighter/manager.h b/src/plugins/texteditor/generichighlighter/manager.h index a880f056f9..8ed80100b7 100644 --- a/src/plugins/texteditor/generichighlighter/manager.h +++ b/src/plugins/texteditor/generichighlighter/manager.h @@ -82,7 +82,6 @@ public: public slots: void registerMimeTypes(); - void showGenericHighlighterOptions() const; private slots: void registerMimeType(int index) const; |