CompilerExplorer: Disable Dock menu and close

Change-Id: I874e624cc35c337a7774377847f5f1a79b07a2b4
Reviewed-by: David Schulz <david.schulz@qt.io>
This commit is contained in:
Marcus Tillmanns
2023-09-27 08:36:18 +02:00
parent 9c6bb1ac80
commit aeb05db3af

View File

@@ -475,6 +475,7 @@ EditorWidget::EditorWidget(const QSharedPointer<JsonSettingsDocument> &document,
, m_undoStack(undoStack) , m_undoStack(undoStack)
, m_actionHandler(actionHandler) , m_actionHandler(actionHandler)
{ {
setContextMenuPolicy(Qt::NoContextMenu);
setAutoHideTitleBars(false); setAutoHideTitleBars(false);
setDockNestingEnabled(true); setDockNestingEnabled(true);
setDocumentMode(true); setDocumentMode(true);
@@ -524,6 +525,7 @@ void EditorWidget::addCompiler(const std::shared_ptr<SourceSettings> &sourceSett
compiler->setWindowTitle("Compiler #" + QString::number(idx)); compiler->setWindowTitle("Compiler #" + QString::number(idx));
compiler->setObjectName("compiler_" + QString::number(idx)); compiler->setObjectName("compiler_" + QString::number(idx));
QDockWidget *dockWidget = addDockForWidget(compiler, parentDockWidget); QDockWidget *dockWidget = addDockForWidget(compiler, parentDockWidget);
dockWidget->setFeatures(QDockWidget::DockWidgetFloatable | QDockWidget::DockWidgetMovable);
addDockWidget(Qt::RightDockWidgetArea, dockWidget); addDockWidget(Qt::RightDockWidgetArea, dockWidget);
m_compilerWidgets.append(dockWidget); m_compilerWidgets.append(dockWidget);
@@ -585,6 +587,7 @@ void EditorWidget::addSourceEditor(const std::shared_ptr<SourceSettings> &source
m_actionHandler.updateCurrentEditor(); m_actionHandler.updateCurrentEditor();
}); });
dockWidget->setFeatures(QDockWidget::DockWidgetFloatable | QDockWidget::DockWidgetMovable);
addDockWidget(Qt::LeftDockWidgetArea, dockWidget); addDockWidget(Qt::LeftDockWidgetArea, dockWidget);
sourceSettings->compilers.forEachItem<CompilerSettings>( sourceSettings->compilers.forEachItem<CompilerSettings>(