Attachment 80697 Details for Bug 206804 – Patch to add 'open' and 'recent' as keywords for the 'Editors' preference page.

Some Eclipse Foundation services are deprecated, or will be soon. Please ensure you've read this important communication.

[patch] Patch to add 'open' and 'recent' as keywords for the 'Editors' preference page.

pref-filter-patch.txt (text/plain), 1.70 KB, created by Remy Suen

on 2007-10-18 16:23:36 EDT

(hide)

Description:

Filename:

MIME Type:

Creator: Remy Suen

Created: 2007-10-18 16:23:36 EDT

Size: 1.70 KB

patch

obsolete

>### Eclipse Workspace Patch 1.0
>#P org.eclipse.ui.ide
>Index: plugin.properties
>===================================================================
>RCS file: /cvsroot/eclipse/org.eclipse.ui.ide/plugin.properties,v
>retrieving revision 1.110
>diff -u -r1.110 plugin.properties
>--- plugin.properties	16 Oct 2007 15:15:46 -0000	1.110
>+++ plugin.properties	18 Oct 2007 20:22:42 -0000
>@@ -197,6 +197,7 @@
> PreferenceKeywords.Restore = restore
> PreferenceKeywords.State = state
> PreferenceKeywords.Encoding = encoding
>+PreferenceKeywords.RecentlyOpened = recent open
> 
> # TODO This stuff is just to help me work on the parsing of the menus extension
> # point.  It is likely not in its final form yet.
>Index: plugin.xml
>===================================================================
>RCS file: /cvsroot/eclipse/org.eclipse.ui.ide/plugin.xml,v
>retrieving revision 1.217
>diff -u -r1.217 plugin.xml
>--- plugin.xml	18 Oct 2007 20:18:28 -0000	1.217
>+++ plugin.xml	18 Oct 2007 20:22:45 -0000
>@@ -411,6 +411,9 @@
>     <keyword
>             label="%PreferenceKeywords.Encoding"
>             id="org.eclipse.ui.ide.encoding"/>
>+      <keyword
>+            id="org.eclipse.ui.ide.recentlyOpened"
>+            label="%PreferenceKeywords.RecentlyOpened"/>
>    </extension>      
>    <extension
>          point="org.eclipse.ui.preferencePages">
>@@ -431,6 +434,7 @@
>          <keywordReference id="org.eclipse.ui.ide.pin"/>
>          <keywordReference id="org.eclipse.ui.ide.dirty"/>
>          <keywordReference id="org.eclipse.ui.ide.close"/>
>+         <keywordReference id="org.eclipse.ui.ide.recentlyOpened"/>
>          <keywordReference
>                id="org.eclipse.ui.ide.restore">
>          </keywordReference>

Actions: View | Diff

Attachments on bug 206804: 80697