| 修訂 | 32 (tree) |
|---|---|
| 時間 | 2009-01-01 10:54:25 |
| 作者 | (del#8323) |
(empty log message)
trunk/PropertiesEditorFeature/dist/plugins/jp.gr.java_conf.ussiy.app.propedit_4.8.3.jar
trunk/PropertiesEditorFeature/dist/plugins trunk/PropertiesEditorFeature/dist/features/jp.gr.java_conf.ussiy.app.propedit_4.8.3.jar trunk/PropertiesEditorFeature/dist/features trunk/PropertiesEditorFeature/dist
trunk/PropertiesEditorFeature/build.properties (diff) trunk/PropertiesEditorFeature/feature.xml (diff)| @@ -2,7 +2,7 @@ | ||
| 2 | 2 | <feature |
| 3 | 3 | id="jp.gr.java_conf.ussiy.app.propedit" |
| 4 | 4 | label="%featureName" |
| 5 | - version="5.0.0" | |
| 5 | + version="5.0.1" | |
| 6 | 6 | provider-name="%providerName" |
| 7 | 7 | plugin="jp.gr.java_conf.ussiy.app.propedit" |
| 8 | 8 | image="icons/pe_32.gif"> |
| @@ -33,6 +33,7 @@ | ||
| 33 | 33 | <import plugin="org.eclipse.core.runtime" version="3.0.0" match="greaterOrEqual"/> |
| 34 | 34 | <import plugin="org.eclipse.ui.views"/> |
| 35 | 35 | <import plugin="org.eclipse.ui.workbench"/> |
| 36 | + <import plugin="org.eclipse.ui.workbench.texteditor"/> | |
| 36 | 37 | </requires> |
| 37 | 38 | |
| 38 | 39 | <plugin |
Properties Editor