diff options
author | Mickael Istria | 2021-10-08 08:55:19 +0000 |
---|---|---|
committer | Mickael Istria | 2021-10-11 18:41:12 +0000 |
commit | 1f06e8394a6da27b10fcb818fb613fc835546228 (patch) | |
tree | edeeeb4b176950c2c2f87ae8ef2bc027b6d7606b | |
parent | 0c244122d37b581b8ec17cec98d6de3fd6929ec9 (diff) | |
download | eclipse.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.properties | 2 | ||||
-rw-r--r-- | org.eclipse.debug.core/plugin.xml | 10 | ||||
-rw-r--r-- | org.eclipse.debug.ui/icons/full/obj16/launchConfiguration.png | bin | 0 -> 571 bytes | |||
-rw-r--r-- | org.eclipse.debug.ui/icons/full/obj16/launchConfiguration@2x.png | bin | 0 -> 1192 bytes | |||
-rw-r--r-- | org.eclipse.debug.ui/plugin.xml | 7 |
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 Binary files differnew file mode 100644 index 000000000..27b2f80e4 --- /dev/null +++ b/org.eclipse.debug.ui/icons/full/obj16/launchConfiguration.png diff --git a/org.eclipse.debug.ui/icons/full/obj16/launchConfiguration@2x.png b/org.eclipse.debug.ui/icons/full/obj16/launchConfiguration@2x.png Binary files differnew file mode 100644 index 000000000..8e6529b14 --- /dev/null +++ b/org.eclipse.debug.ui/icons/full/obj16/launchConfiguration@2x.png 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> |