diff --git a/src/plugins/diffeditor/diffeditorwidget.cpp b/src/plugins/diffeditor/diffeditorwidget.cpp index e26fd20fd94069c2aa1463cf1bf2d008b335701a..a1ccbf1c2dc9c4496f04365310e0c801f35ed274 100644 --- a/src/plugins/diffeditor/diffeditorwidget.cpp +++ b/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);