diff options
author | Paul Pazderski | 2020-04-28 09:13:00 +0000 |
---|---|---|
committer | Paul Pazderski | 2020-05-01 23:07:00 +0000 |
commit | 02a132ef576618cb7738c6efe0c2276de35b81b4 (patch) | |
tree | d92de54338d391c8bdd2f7f509a8e692284b43af | |
parent | e21c925be078745b12480a94e3a40aaa0623f8ed (diff) | |
download | eclipse.platform.text-02a132ef576618cb7738c6efe0c2276de35b81b4.tar.gz eclipse.platform.text-02a132ef576618cb7738c6efe0c2276de35b81b4.tar.xz eclipse.platform.text-02a132ef576618cb7738c6efe0c2276de35b81b4.zip |
Bug 34747 - [MenuMgmt] Go To Last Editor Position incorrectly enabledI20200519-1130I20200519-1010I20200518-2220I20200518-1800I20200516-0600I20200515-1930I20200514-1800I20200513-1800I20200512-1800I20200511-1800I20200511-0700I20200510-1800I20200509-1800I20200509-0600I20200509-0450I20200506-1800I20200505-1800I20200504-1800I20200503-1800I20200502-1800
Change-Id: Ifd9eea8c1c4b2df058bef3669c044d6023db0e13
Signed-off-by: Paul Pazderski <paul-eclipse@ppazderski.de>
-rw-r--r-- | org.eclipse.ui.editors/plugin.xml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/org.eclipse.ui.editors/plugin.xml b/org.eclipse.ui.editors/plugin.xml index b0ab6be33f9..cf169c3895f 100644 --- a/org.eclipse.ui.editors/plugin.xml +++ b/org.eclipse.ui.editors/plugin.xml @@ -478,7 +478,8 @@ helpContextId="org.eclipse.ui.goto_last_edit_position_action_context" label="%goToLastEditPosition.label" menubarPath="navigate/" - tooltip="%goToLastEditPosition.tooltip"> + tooltip="%goToLastEditPosition.tooltip" + initialEnabled="false"> </action> </actionSet> <actionSet |