Alessandro Portale ec14e8bb0c 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>

2015-03-16 16:19:22 +00:00

54 KiB

Raw Blame History

View Raw