Fixed the missing margin at Text Editor > Behavior settings

Change-Id: I30831cf7f89f91f5a76a9b66d22a1d1b675ee628
Reviewed-by: Thorbjørn Lindeijer <bjorn@lindeijer.nl>
Reviewed-by: Eike Ziller <eike.ziller@digia.com>

src/plugins/texteditor/behaviorsettingspage.cpp

@@ -42,6 +42,7 @@
 #include <coreplugin/icore.h>
 #include <coreplugin/coreconstants.h>
 #include <coreplugin/editormanager/editormanager.h>
+#include <utils/hostosinfo.h>
 
 #include <QSettings>
 #include <QTextCodec>
@@ -113,6 +114,8 @@ QWidget *BehaviorSettingsPage::createPage(QWidget *parent)
     QWidget *w = new QWidget(parent);
     d->m_page = new Internal::Ui::BehaviorSettingsPage;
     d->m_page->setupUi(w);
+    if (Utils::HostOsInfo::isMacHost())
+        d->m_page->gridLayout->setContentsMargins(-1, 0, -1, 0); // don't ask.
     d->m_pageCodeStyle = new SimpleCodeStylePreferences(w);
     d->m_pageCodeStyle->setDelegatingPool(d->m_codeStyle->delegatingPool());
     d->m_pageCodeStyle->setTabSettings(d->m_codeStyle->tabSettings());

src/plugins/texteditor/behaviorsettingspage.ui

@@ -14,12 +14,6 @@
    <string>Form</string>
   </property>
   <layout class="QGridLayout" name="gridLayout">
-   <property name="topMargin">
-    <number>0</number>
-   </property>
-   <property name="bottomMargin">
-    <number>0</number>
-   </property>
    <item row="0" column="0">
     <widget class="TextEditor::BehaviorSettingsWidget" name="behaviorWidget" native="true"/>
    </item>