From 21e398091d38ea0f9a522e218d1427440ce6d4b7 Mon Sep 17 00:00:00 2001
From: Michael Keppler <michael.keppler@gmx.de>
Date: Mon, 30 Dec 2024 15:21:26 +0100
Subject: [PATCH] Show versions upgrade in favorites menu

---
 Upgrade version numbers.launch | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/Upgrade version numbers.launch b/Upgrade version numbers.launch
index d17e31ca4..fb45a0f4e 100644
--- a/Upgrade version numbers.launch	
+++ b/Upgrade version numbers.launch	
@@ -9,6 +9,9 @@
     <listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_TYPES">
         <listEntry value="1"/>
     </listAttribute>
+    <listAttribute key="org.eclipse.debug.ui.favoriteGroups">
+        <listEntry value="org.eclipse.ui.externaltools.launchGroup"/>
+    </listAttribute>
     <booleanAttribute key="org.eclipse.jdt.launching.ATTR_ATTR_USE_ARGFILE" value="false"/>
     <booleanAttribute key="org.eclipse.jdt.launching.ATTR_USE_CLASSPATH_ONLY_JAR" value="false"/>
     <stringAttribute key="org.eclipse.jdt.launching.CLASSPATH_PROVIDER" value="org.eclipse.ant.ui.AntClasspathProvider"/>