Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorRolf Theunissen2019-07-18 20:56:45 +0000
committerRolf Theunissen2019-08-02 18:38:02 +0000
commit824b974c60099124aff89353d8399f49e5d93280 (patch)
tree96830819011fdcbd56a08f85960eeff599031dfb /bundles/org.eclipse.compare/plugin.xml
parenta36a62d0c3fb05a9f9eed61f1d127566b83b8479 (diff)
downloadeclipse.platform.team-I20190810-1800.tar.gz
eclipse.platform.team-I20190810-1800.tar.xz
eclipse.platform.team-I20190810-1800.zip
button Change-Id: I38a28c6ceafcdf8eb58d34bde315b7b7f960e3ee Signed-off-by: Rolf Theunissen <rolf.theunissen@gmail.com>
Diffstat (limited to 'bundles/org.eclipse.compare/plugin.xml')
-rw-r--r--bundles/org.eclipse.compare/plugin.xml12
1 files changed, 11 insertions, 1 deletions
diff --git a/bundles/org.eclipse.compare/plugin.xml b/bundles/org.eclipse.compare/plugin.xml
index cb027b7ff..754cb681c 100644
--- a/bundles/org.eclipse.compare/plugin.xml
+++ b/bundles/org.eclipse.compare/plugin.xml
@@ -1,7 +1,7 @@
<?xml version="1.0" encoding="UTF-8"?>
<?eclipse version="3.0"?>
<!--
- Copyright (c) 2001, 2012 IBM Corporation and others.
+ Copyright (c) 2001, 2019 IBM Corporation and others.
This program and the accompanying materials
are made available under the terms of the Eclipse Public License 2.0
@@ -128,6 +128,16 @@
</extension>
<extension
+ point="org.eclipse.ui.actionSetPartAssociations">
+ <actionSetPartAssociation
+ targetID="org.eclipse.ui.edit.text.actionSet.presentation">
+ <part
+ id="org.eclipse.compare.CompareEditor">
+ </part>
+ </actionSetPartAssociation>
+ </extension>
+
+ <extension
point="org.eclipse.ui.preferencePages">
<page
name="%ComparePreferencePage.name"

Back to the top