Просмотр исходного кода

renamed extension point schema

terfloth@itemis.de 14 лет назад
Родитель
Сommit
cb60fdae47

+ 1 - 1
plugins/org.yakindu.sct.ui.editor/plugin.xml

@@ -3,7 +3,7 @@
 <plugin>
 	<!-- Extension Points -->
 	
-   <extension-point id="org.yakindu.sct.ui.editor.expressions" name="org.yakindu.sct.ui.editor.expressions" schema="schema/org.yakindu.sct.ui.editor.expressions.exsd"/>
+   <extension-point id="expressions" name="org.yakindu.sct.ui.editor.expressions" schema="schema/expressions.exsd"/>
   
     <!-- Editor -->
   

plugins/org.yakindu.sct.ui.editor/schema/org.yakindu.sct.ui.editor.expressions.exsd → plugins/org.yakindu.sct.ui.editor/schema/expressions.exsd