Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorMickael Istria2021-10-08 08:55:19 +0000
committerMickael Istria2021-10-11 18:41:12 +0000
commit1f06e8394a6da27b10fcb818fb613fc835546228 (patch)
treeedeeeb4b176950c2c2f87ae8ef2bc027b6d7606b
parent0c244122d37b581b8ec17cec98d6de3fd6929ec9 (diff)
downloadeclipse.platform.debug-1f06e8394a6da27b10fcb818fb613fc835546228.tar.gz
eclipse.platform.debug-1f06e8394a6da27b10fcb818fb613fc835546228.tar.xz
eclipse.platform.debug-1f06e8394a6da27b10fcb818fb613fc835546228.zip
Bug 576515 - Content-type and icon for .launch filesI20211011-1800
Change-Id: Ic73fd47934e6c3930389edf6d4bf49041fcc6dba Reviewed-on: https://git.eclipse.org/r/c/platform/eclipse.platform.debug/+/186304 Tested-by: Platform Bot <platform-bot@eclipse.org> Reviewed-by: Mickael Istria <mistria@redhat.com>
-rw-r--r--org.eclipse.debug.core/plugin.properties2
-rw-r--r--org.eclipse.debug.core/plugin.xml10
-rw-r--r--org.eclipse.debug.ui/icons/full/obj16/launchConfiguration.pngbin0 -> 571 bytes
-rw-r--r--org.eclipse.debug.ui/icons/full/obj16/launchConfiguration@2x.pngbin0 -> 1192 bytes
-rw-r--r--org.eclipse.debug.ui/plugin.xml7
5 files changed, 19 insertions, 0 deletions
diff --git a/org.eclipse.debug.core/plugin.properties b/org.eclipse.debug.core/plugin.properties
index 886721320..aa747ccd7 100644
--- a/org.eclipse.debug.core/plugin.properties
+++ b/org.eclipse.debug.core/plugin.properties
@@ -75,3 +75,5 @@ Breakpoint.name = Breakpoint
GroupLaunch.name=Launch Group
GroupLaunch.description=Launch several other configurations sequentially
+
+LaunchConfiguration=Launch Configuration
diff --git a/org.eclipse.debug.core/plugin.xml b/org.eclipse.debug.core/plugin.xml
index 233aae3b4..13360fa45 100644
--- a/org.eclipse.debug.core/plugin.xml
+++ b/org.eclipse.debug.core/plugin.xml
@@ -280,4 +280,14 @@
public="true">
</launchConfigurationType>
</extension>
+ <extension
+ point="org.eclipse.core.contenttype.contentTypes">
+ <content-type
+ base-type="org.eclipse.core.runtime.xml"
+ file-extensions="launch"
+ id="org.eclipse.debug.core.launch"
+ name="%LaunchConfiguration"
+ priority="normal">
+ </content-type>
+ </extension>
</plugin>
diff --git a/org.eclipse.debug.ui/icons/full/obj16/launchConfiguration.png b/org.eclipse.debug.ui/icons/full/obj16/launchConfiguration.png
new file mode 100644
index 000000000..27b2f80e4
--- /dev/null
+++ b/org.eclipse.debug.ui/icons/full/obj16/launchConfiguration.png
Binary files differ
diff --git a/org.eclipse.debug.ui/icons/full/obj16/launchConfiguration@2x.png b/org.eclipse.debug.ui/icons/full/obj16/launchConfiguration@2x.png
new file mode 100644
index 000000000..8e6529b14
--- /dev/null
+++ b/org.eclipse.debug.ui/icons/full/obj16/launchConfiguration@2x.png
Binary files differ
diff --git a/org.eclipse.debug.ui/plugin.xml b/org.eclipse.debug.ui/plugin.xml
index 4503dfde8..2d052d87d 100644
--- a/org.eclipse.debug.ui/plugin.xml
+++ b/org.eclipse.debug.ui/plugin.xml
@@ -3385,4 +3385,11 @@ M4 = Platform-specific fourth key
class="org.eclipse.debug.internal.ui.quickaccess.ProfileQuickAccessComputer"
name="%ProfileDropDownAction.label"/>
</extension>
+ <extension
+ point="org.eclipse.ui.genericeditor.icons">
+ <icon
+ contentType="org.eclipse.debug.core.launch"
+ icon="icons/full/obj16/launchConfiguration.png">
+ </icon>
+ </extension>
</plugin>

Back to the top