2022-08-19 15:59:36 +02:00
|
|
|
// Copyright (C) 2016 The Qt Company Ltd.
|
|
|
|
|
// SPDX-License-Identifier: LicenseRef-Qt-Commercial OR GPL-3.0+ OR GPL-3.0 WITH Qt-GPL-exception-1.0
|
2008-12-02 12:01:29 +01:00
|
|
|
|
|
|
|
|
#include "coreconstants.h"
|
2015-11-11 19:26:58 +01:00
|
|
|
#include "coreicons.h"
|
2014-07-01 13:20:53 +02:00
|
|
|
#include "editmode.h"
|
|
|
|
|
#include "icore.h"
|
2008-12-02 12:01:29 +01:00
|
|
|
#include "modemanager.h"
|
|
|
|
|
#include "minisplitter.h"
|
|
|
|
|
#include "navigationwidget.h"
|
2014-07-01 13:20:53 +02:00
|
|
|
#include "outputpane.h"
|
2008-12-02 12:01:29 +01:00
|
|
|
#include "rightpane.h"
|
2013-08-29 16:36:42 +02:00
|
|
|
#include <coreplugin/editormanager/editormanager.h>
|
|
|
|
|
#include <coreplugin/editormanager/ieditor.h>
|
2008-12-02 12:01:29 +01:00
|
|
|
|
2012-02-15 10:42:41 +01:00
|
|
|
#include <QLatin1String>
|
|
|
|
|
#include <QHBoxLayout>
|
|
|
|
|
#include <QWidget>
|
|
|
|
|
#include <QIcon>
|
2008-12-02 12:01:29 +01:00
|
|
|
|
2014-11-16 10:52:41 +02:00
|
|
|
namespace Core {
|
|
|
|
|
namespace Internal {
|
2008-12-02 12:01:29 +01:00
|
|
|
|
2011-04-14 12:28:21 +02:00
|
|
|
EditMode::EditMode() :
|
2008-12-02 12:01:29 +01:00
|
|
|
m_splitter(new MiniSplitter),
|
|
|
|
|
m_rightSplitWidgetLayout(new QVBoxLayout)
|
|
|
|
|
{
|
2010-12-03 17:30:09 +01:00
|
|
|
setObjectName(QLatin1String("EditMode"));
|
2011-04-13 16:09:04 +02:00
|
|
|
setDisplayName(tr("Edit"));
|
2015-11-11 19:26:58 +01:00
|
|
|
setIcon(Utils::Icon::modeIcon(Icons::MODE_EDIT_CLASSIC,
|
|
|
|
|
Icons::MODE_EDIT_FLAT, Icons::MODE_EDIT_FLAT_ACTIVE));
|
2011-04-13 16:09:04 +02:00
|
|
|
setPriority(Constants::P_MODE_EDIT);
|
2012-05-07 18:28:03 +02:00
|
|
|
setId(Constants::MODE_EDIT);
|
2011-04-13 16:09:04 +02:00
|
|
|
|
2008-12-02 12:01:29 +01:00
|
|
|
m_rightSplitWidgetLayout->setSpacing(0);
|
2019-08-29 10:36:01 +02:00
|
|
|
m_rightSplitWidgetLayout->setContentsMargins(0, 0, 0, 0);
|
2008-12-02 12:01:29 +01:00
|
|
|
QWidget *rightSplitWidget = new QWidget;
|
|
|
|
|
rightSplitWidget->setLayout(m_rightSplitWidgetLayout);
|
2016-04-26 14:41:38 +02:00
|
|
|
auto editorPlaceHolder = new EditorManagerPlaceHolder;
|
2014-07-18 15:33:30 +02:00
|
|
|
m_rightSplitWidgetLayout->insertWidget(0, editorPlaceHolder);
|
2008-12-02 12:01:29 +01:00
|
|
|
|
2018-07-21 21:11:46 +02:00
|
|
|
auto rightPaneSplitter = new MiniSplitter;
|
2008-12-02 12:01:29 +01:00
|
|
|
rightPaneSplitter->insertWidget(0, rightSplitWidget);
|
2016-03-25 20:00:19 +01:00
|
|
|
rightPaneSplitter->insertWidget(1, new RightPanePlaceHolder(Constants::MODE_EDIT));
|
2008-12-02 12:01:29 +01:00
|
|
|
rightPaneSplitter->setStretchFactor(0, 1);
|
|
|
|
|
rightPaneSplitter->setStretchFactor(1, 0);
|
|
|
|
|
|
2018-07-21 21:11:46 +02:00
|
|
|
auto splitter = new MiniSplitter;
|
2008-12-02 12:01:29 +01:00
|
|
|
splitter->setOrientation(Qt::Vertical);
|
|
|
|
|
splitter->insertWidget(0, rightPaneSplitter);
|
2016-03-25 20:00:19 +01:00
|
|
|
QWidget *outputPane = new OutputPanePlaceHolder(Constants::MODE_EDIT, splitter);
|
2010-12-03 17:30:09 +01:00
|
|
|
outputPane->setObjectName(QLatin1String("EditModeOutputPanePlaceHolder"));
|
|
|
|
|
splitter->insertWidget(1, outputPane);
|
2008-12-02 12:01:29 +01:00
|
|
|
splitter->setStretchFactor(0, 3);
|
|
|
|
|
splitter->setStretchFactor(1, 0);
|
|
|
|
|
|
2016-09-17 18:31:56 +03:00
|
|
|
m_splitter->insertWidget(0, new NavigationWidgetPlaceHolder(Constants::MODE_EDIT, Side::Left));
|
2008-12-02 12:01:29 +01:00
|
|
|
m_splitter->insertWidget(1, splitter);
|
2016-09-17 18:31:56 +03:00
|
|
|
m_splitter->insertWidget(2, new NavigationWidgetPlaceHolder(Constants::MODE_EDIT, Side::Right));
|
2008-12-02 12:01:29 +01:00
|
|
|
m_splitter->setStretchFactor(0, 0);
|
|
|
|
|
m_splitter->setStretchFactor(1, 1);
|
2016-09-17 18:31:56 +03:00
|
|
|
m_splitter->setStretchFactor(2, 0);
|
2008-12-02 12:01:29 +01:00
|
|
|
|
2014-11-16 10:52:41 +02:00
|
|
|
connect(ModeManager::instance(), &ModeManager::currentModeChanged,
|
|
|
|
|
this, &EditMode::grabEditorManager);
|
2014-07-18 15:33:30 +02:00
|
|
|
m_splitter->setFocusProxy(editorPlaceHolder);
|
2011-04-13 13:00:30 +02:00
|
|
|
|
2018-07-21 21:11:46 +02:00
|
|
|
auto modeContextObject = new IContext(this);
|
2014-07-01 13:20:53 +02:00
|
|
|
modeContextObject->setContext(Context(Constants::C_EDITORMANAGER));
|
|
|
|
|
modeContextObject->setWidget(m_splitter);
|
|
|
|
|
ICore::addContextObject(modeContextObject);
|
|
|
|
|
|
2011-04-13 13:00:30 +02:00
|
|
|
setWidget(m_splitter);
|
|
|
|
|
setContext(Context(Constants::C_EDIT_MODE,
|
|
|
|
|
Constants::C_NAVIGATION_PANE));
|
2008-12-02 12:01:29 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
EditMode::~EditMode()
|
|
|
|
|
{
|
|
|
|
|
delete m_splitter;
|
|
|
|
|
}
|
|
|
|
|
|
2020-06-26 13:59:38 +02:00
|
|
|
void EditMode::grabEditorManager(Utils::Id mode)
|
2008-12-02 12:01:29 +01:00
|
|
|
{
|
2016-03-25 20:00:19 +01:00
|
|
|
if (mode != id())
|
2008-12-02 12:01:29 +01:00
|
|
|
return;
|
|
|
|
|
|
2012-05-08 09:43:14 +02:00
|
|
|
if (EditorManager::currentEditor())
|
|
|
|
|
EditorManager::currentEditor()->widget()->setFocus();
|
2008-12-02 12:01:29 +01:00
|
|
|
}
|
2014-11-16 10:52:41 +02:00
|
|
|
|
|
|
|
|
} // namespace Internal
|
|
|
|
|
} // namespace Core
|