From aeb05db3af4e570a04da4d5108a659976f341bf7 Mon Sep 17 00:00:00 2001 From: Marcus Tillmanns Date: Wed, 27 Sep 2023 08:36:18 +0200 Subject: [PATCH] CompilerExplorer: Disable Dock menu and close Change-Id: I874e624cc35c337a7774377847f5f1a79b07a2b4 Reviewed-by: David Schulz --- src/plugins/compilerexplorer/compilerexplorereditor.cpp | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/plugins/compilerexplorer/compilerexplorereditor.cpp b/src/plugins/compilerexplorer/compilerexplorereditor.cpp index f0829853630..9c3f00feb5a 100644 --- a/src/plugins/compilerexplorer/compilerexplorereditor.cpp +++ b/src/plugins/compilerexplorer/compilerexplorereditor.cpp @@ -475,6 +475,7 @@ EditorWidget::EditorWidget(const QSharedPointer &document, , m_undoStack(undoStack) , m_actionHandler(actionHandler) { + setContextMenuPolicy(Qt::NoContextMenu); setAutoHideTitleBars(false); setDockNestingEnabled(true); setDocumentMode(true); @@ -524,6 +525,7 @@ void EditorWidget::addCompiler(const std::shared_ptr &sourceSett compiler->setWindowTitle("Compiler #" + QString::number(idx)); compiler->setObjectName("compiler_" + QString::number(idx)); QDockWidget *dockWidget = addDockForWidget(compiler, parentDockWidget); + dockWidget->setFeatures(QDockWidget::DockWidgetFloatable | QDockWidget::DockWidgetMovable); addDockWidget(Qt::RightDockWidgetArea, dockWidget); m_compilerWidgets.append(dockWidget); @@ -585,6 +587,7 @@ void EditorWidget::addSourceEditor(const std::shared_ptr &source m_actionHandler.updateCurrentEditor(); }); + dockWidget->setFeatures(QDockWidget::DockWidgetFloatable | QDockWidget::DockWidgetMovable); addDockWidget(Qt::LeftDockWidgetArea, dockWidget); sourceSettings->compilers.forEachItem(