forked from qt-creator/qt-creator
EditorManager: Do not be a widget.
There is no reason for the editor manager itself to be a widget. This makes even less sense in the presence of multiple windows. Change-Id: I384f8945fdd5632d64643e473e6637e05abbce7e Reviewed-by: hjk <hjk121@nokiamail.com> Reviewed-by: Daniel Teske <daniel.teske@digia.com>
This commit is contained in:
@@ -443,7 +443,8 @@ QWidget *DebuggerMainWindow::createContents(IMode *mode)
|
||||
|
||||
QWidget *editorAndFindWidget = new QWidget;
|
||||
editorAndFindWidget->setLayout(editorHolderLayout);
|
||||
editorHolderLayout->addWidget(new EditorManagerPlaceHolder(mode));
|
||||
auto editorManagerPlaceHolder = new EditorManagerPlaceHolder(mode);
|
||||
editorHolderLayout->addWidget(editorManagerPlaceHolder);
|
||||
editorHolderLayout->addWidget(new FindToolBarPlaceHolder(editorAndFindWidget));
|
||||
|
||||
MiniSplitter *documentAndRightPane = new MiniSplitter;
|
||||
@@ -502,6 +503,7 @@ QWidget *DebuggerMainWindow::createContents(IMode *mode)
|
||||
|
||||
// Navigation and right-side window.
|
||||
MiniSplitter *splitter = new MiniSplitter;
|
||||
splitter->setFocusProxy(editorManagerPlaceHolder);
|
||||
splitter->addWidget(new NavigationWidgetPlaceHolder(mode));
|
||||
splitter->addWidget(mainWindowSplitter);
|
||||
splitter->setStretchFactor(0, 0);
|
||||
|
||||
Reference in New Issue
Block a user