From ec14e8bb0c9217efe89c83939ad437cc945ac4ce Mon Sep 17 00:00:00 2001
From: Alessandro Portale <alessandro.portale@theqtcompany.com>
Date: Fri, 13 Mar 2015 10:22:47 +0100
Subject: [PATCH] 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>
---
 src/plugins/android/androidmanifesteditorwidget.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/plugins/android/androidmanifesteditorwidget.cpp b/src/plugins/android/androidmanifesteditorwidget.cpp
index 9d69516c36b..f88c79af5f4 100644
--- a/src/plugins/android/androidmanifesteditorwidget.cpp
+++ b/src/plugins/android/androidmanifesteditorwidget.cpp
@@ -1440,5 +1440,6 @@ AndroidManifestTextEditorWidget::AndroidManifestTextEditorWidget(AndroidManifest
     setTextDocument(TextEditor::TextDocumentPtr(new AndroidManifestDocument(parent)));
     textDocument()->setMimeType(QLatin1String(Constants::ANDROID_MANIFEST_MIME_TYPE));
     setupGenericHighlighter();
+    setMarksVisible(false);
 }