diff options
| author | hjk <hjk121@nokiamail.com> | 2014-10-15 00:36:39 +0200 |
|---|---|---|
| committer | hjk <hjk121@nokiamail.com> | 2014-10-15 12:35:41 +0200 |
| commit | eacaf93a594e8f4491bf69e7b95a8ffada66034f (patch) | |
| tree | e5d527cd99cde76f652f773052e1ee8c2069e5b8 /src/plugins/android/javaeditor.cpp | |
| parent | 9ee73a4fac0168ab57cc7dcc3f4ceeb1d3d8b973 (diff) | |
TextEditor: Factory cosmetics
Pimpl, add some convenience setters.
Change-Id: I525c080179fddab6fe2bd2270505fdbf33e56be2
Reviewed-by: David Schulz <david.schulz@digia.com>
Diffstat (limited to 'src/plugins/android/javaeditor.cpp')
| -rw-r--r-- | src/plugins/android/javaeditor.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/plugins/android/javaeditor.cpp b/src/plugins/android/javaeditor.cpp index d57b6f1b72c..9413dd39de8 100644 --- a/src/plugins/android/javaeditor.cpp +++ b/src/plugins/android/javaeditor.cpp @@ -98,6 +98,7 @@ JavaEditorFactory::JavaEditorFactory() setCommentStyle(Utils::CommentDefinition::CppStyle); setEditorActionHandlers(TextEditor::TextEditorActionHandler::UnCommentSelection); setCompletionAssistProvider(new JavaCompletionAssistProvider); + setMarksVisible(true); } } // namespace Internal |