From 9cfb4722429c19abc6f286414f9b66e8b1ca6d63 Mon Sep 17 00:00:00 2001
From: Andrey Loskutov <loskutov@gmx.de>
Date: Fri, 23 Jan 2026 16:52:30 +0100
Subject: [PATCH] Add "Preferences..." menu to the Console view

Fixes https://github.com/eclipse-platform/eclipse.platform/issues/2436
---
 debug/org.eclipse.debug.ui/plugin.xml | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/debug/org.eclipse.debug.ui/plugin.xml b/debug/org.eclipse.debug.ui/plugin.xml
index ad9ea6e409d..c2528f02e44 100644
--- a/debug/org.eclipse.debug.ui/plugin.xml
+++ b/debug/org.eclipse.debug.ui/plugin.xml
@@ -756,6 +756,17 @@
                menubarPath="additions">
          </action>
       </viewContribution>
+      <viewContribution
+            targetID="org.eclipse.ui.console.ConsoleView"
+            id="org.eclipse.ui.console.ConsoleView.viewActions">
+         <action
+               label="%ConsolePreferencesAction.label"
+               tooltip="%ConsolePreferencesAction.tooltip"
+               class="org.eclipse.debug.internal.ui.views.console.ConsoleShowPreferencesAction"
+               menubarPath="additions"
+               id="org.eclipse.debug.ui.consolePreferencesAction.viewAction">
+         </action>
+      </viewContribution>
 <!-- Contributions to Debug View Toolbar -->
       <viewContribution
             targetID="org.eclipse.debug.ui.DebugView"