diff options
| author | hjk <hjk121@nokiamail.com> | 2014-09-03 10:57:51 +0200 |
|---|---|---|
| committer | hjk <hjk121@nokiamail.com> | 2014-09-03 14:02:38 +0200 |
| commit | e3bc7d19cf201ae3c1039695ba01dc494848404f (patch) | |
| tree | fa6b1255d0b1f5d89668e1dd9a2d44c24d78d0e6 /src/plugins/android/javaeditor.cpp | |
| parent | 877bf3b30529e65c5f712f1a38b888a988b3276c (diff) | |
| download | qt-creator-e3bc7d19cf201ae3c1039695ba01dc494848404f.tar.gz | |
TextEditor: Move CompletionAssistProvider to *Widget
All the others live there, too.
Change-Id: I0a418bf235343d40a53fbee089234765386ee05d
Reviewed-by: Christian Stenger <christian.stenger@digia.com>
Diffstat (limited to 'src/plugins/android/javaeditor.cpp')
| -rw-r--r-- | src/plugins/android/javaeditor.cpp | 16 |
1 files changed, 15 insertions, 1 deletions
diff --git a/src/plugins/android/javaeditor.cpp b/src/plugins/android/javaeditor.cpp index d1035bc197..a9a9faa993 100644 --- a/src/plugins/android/javaeditor.cpp +++ b/src/plugins/android/javaeditor.cpp @@ -58,6 +58,19 @@ public: JavaEditor() { setDuplicateSupported(true); + } +}; + + +// +// JavaEditorWidget +// + +class JavaEditorWidget : public TextEditor::BaseTextEditorWidget +{ +public: + JavaEditorWidget() + { setCompletionAssistProvider(ExtensionSystem::PluginManager::getObject<JavaCompletionAssistProvider>()); } }; @@ -106,8 +119,9 @@ JavaEditorFactory::JavaEditorFactory() setDisplayName(tr("Java Editor")); addMimeType(Constants::JAVA_MIMETYPE); - setEditorCreator([]() { return new JavaEditor; }); setDocumentCreator([]() { return new JavaDocument; }); + setEditorWidgetCreator([]() { return new JavaEditorWidget; }); + setEditorCreator([]() { return new JavaEditor; }); setAutoCompleterCreator([]() { return new JavaAutoCompleter; }); setGenericSyntaxHighlighter(QLatin1String(Constants::JAVA_MIMETYPE)); setCommentStyle(Utils::CommentDefinition::CppStyle); |
