| commit | 63d46629059894db6a35823f17a8792b60780603 | [log] [tgz] |
|---|---|---|
| author | Ed Willink <ed@willink.me.uk> | Mon Apr 20 09:25:43 2015 +0100 |
| committer | Ed Willink <ed@willink.me.uk> | Mon Apr 20 09:25:43 2015 +0100 |
| tree | d19eda15e1a56935f752d627d0b5e5ce8ce18f5c | |
| parent | cd9d7ae01b756fb5d990170f9dba17bd639449c8 [diff] |
[unrelated] Disable preference contribution to closed project
diff --git a/plugins/org.eclipse.ocl.xtext.oclinecore.ui/plugin.xml b/plugins/org.eclipse.ocl.xtext.oclinecore.ui/plugin.xml index 3abd37f..161b193 100644 --- a/plugins/org.eclipse.ocl.xtext.oclinecore.ui/plugin.xml +++ b/plugins/org.eclipse.ocl.xtext.oclinecore.ui/plugin.xml
@@ -385,6 +385,7 @@ <enabledWhen> <adapt type="org.eclipse.core.resources.IProject"/> </enabledWhen> + <filter name="open" value="true"/> </page> </extension>