Attachment 209281 Details for Bug 224815 – Patch to jdt.debug.ui to add preference transfer for detail_formatters

[patch] Patch to jdt.debug.ui to add preference transfer for detail_formatters

224815.patch (text/plain), 2.06 KB, created by Brian de Alwis

on 2012-01-10 14:04:08 EST

(hide)

Description:

Filename:

MIME Type:

Creator: Brian de Alwis

Created: 2012-01-10 14:04:08 EST

Size: 2.06 KB

patch

obsolete

>From d1c86aba0ca9ba072c88ecfe58b09e958b70fc63 Tue, 10 Jan 2012 14:03:14 -0500
>From: Brian de Alwis <bsd@mt.ca>
>Date: Tue, 10 Jan 2012 14:02:33 -0500
>Subject: [PATCH] Bug 224815 - Make Detail formatters exportable Added preference transfer for detail formatters.
>
>diff --git a/org.eclipse.jdt.debug.ui/plugin.properties b/org.eclipse.jdt.debug.ui/plugin.properties
>index 75ad155..792f9a8 100644
>--- a/org.eclipse.jdt.debug.ui/plugin.properties
>+++ b/org.eclipse.jdt.debug.ui/plugin.properties
>@@ -295,6 +295,8 @@
> preference.transfer.jres.description=Preferences related to system libraries used to build, run, and debug Java applications.
> preference.transfer.logicalStructures=Java Logical Structures
> preference.transfer.logicalStructures.description=Preferences related to logical structures used for debugging Java applications.
>+preference.transfer.detail_formatters=Java Detail Formatters
>+preference.transfer.detail_formatters.description=Preferences related to variable detail formatters used for debugging Java applications.
> 
> LaunchConfigurationQueryParticipant.name = Java Launch Configuration
> 
>diff --git a/org.eclipse.jdt.debug.ui/plugin.xml b/org.eclipse.jdt.debug.ui/plugin.xml
>index b607f2e..37b027c 100644
>--- a/org.eclipse.jdt.debug.ui/plugin.xml
>+++ b/org.eclipse.jdt.debug.ui/plugin.xml
>@@ -3469,6 +3469,23 @@
>              %preference.transfer.logicalStructures.description
>           </description>
>        </transfer>
>+    <transfer
>+          icon="$nl$/icons/full/elcl16/var_cntnt_prvdr.gif"
>+          id="org.eclipse.debug.ui.transfer.detail_formatters"
>+          name="%preference.transfer.detail_formatters">
>+       <mapping
>+             scope="instance">
>+          <entry
>+                node="org.eclipse.jdt.debug.ui">
>+             <key
>+                   name="org.eclipse.jdt.debug.ui.detail_formatters">
>+             </key>
>+          </entry>
>+       </mapping>
>+       <description>
>+          %preference.transfer.detail_formatters.description
>+       </description>
>+    </transfer>
>  </extension>
>  <extension
>        point="org.eclipse.ui.ide.markerSupport">

Flags:

Michael_Rennie: iplog+
Michael_Rennie: review+

Actions: View | Diff

Attachments on bug 224815: 209281