AndroidManifestWidget: Hide the marks column in source mode

We don't need to set breakpoints and cannot set bookmarks. So,
let's save the space.

Change-Id: I7ff21464f2af104d7a4a7906acfb6c2917c8f7b2
Reviewed-by: Daniel Teske <daniel.teske@theqtcompany.com>
This commit is contained in:
Alessandro Portale
2015-03-13 10:22:47 +01:00
parent da1c4df7b1
commit ec14e8bb0c

View File

@@ -1440,5 +1440,6 @@ AndroidManifestTextEditorWidget::AndroidManifestTextEditorWidget(AndroidManifest
setTextDocument(TextEditor::TextDocumentPtr(new AndroidManifestDocument(parent))); setTextDocument(TextEditor::TextDocumentPtr(new AndroidManifestDocument(parent)));
textDocument()->setMimeType(QLatin1String(Constants::ANDROID_MANIFEST_MIME_TYPE)); textDocument()->setMimeType(QLatin1String(Constants::ANDROID_MANIFEST_MIME_TYPE));
setupGenericHighlighter(); setupGenericHighlighter();
setMarksVisible(false);
} }