Use minisplitter inside diff editor

Change-Id: Ia2388e8c50185f80111fcf96aedb8143088e9a1c
Reviewed-by: Friedemann Kleint <Friedemann.Kleint@digia.com>
Reviewed-by: Tobias Hunger <tobias.hunger@digia.com>
Reviewed-by: Petar Perisin <petar.perisin@gmail.com>

src/plugins/diffeditor/diffeditorwidget.cpp

@@ -29,7 +29,6 @@
 
 #include "diffeditorwidget.h"
 #include <QPlainTextEdit>
-#include <QSplitter>
 #include <QVBoxLayout>
 #include <QPlainTextDocumentLayout>
 #include <QTextBlock>
@@ -45,6 +44,8 @@
 #include <texteditor/basetextdocument.h>
 #include <texteditor/texteditorsettings.h>
 
+#include <coreplugin/minisplitter.h>
+
 static const int BASE_LEVEL = 0;
 static const int FILE_LEVEL = 1;
 static const int CHUNK_LEVEL = 2;
@@ -574,7 +575,7 @@ DiffEditorWidget::DiffEditorWidget(QWidget *parent)
     connect(m_rightEditor->document()->documentLayout(), SIGNAL(documentSizeChanged(QSizeF)),
             this, SLOT(rightDocumentSizeChanged()));
 
-    m_splitter = new QSplitter(this);
+    m_splitter = new Core::MiniSplitter(this);
     m_splitter->addWidget(m_leftEditor);
     m_splitter->addWidget(m_rightEditor);
     QVBoxLayout *l = new QVBoxLayout(this);