mirror of
https://github.com/peterdell/wudsn-ide.git
synced 2024-12-21 18:29:40 +00:00
Add dependency to org.eclipse.ui.genericeditor in manifest of
com.wudsn.ide.pas
This commit is contained in:
parent
8bc5a343a9
commit
e96ff818ac
@ -9,7 +9,8 @@ Require-Bundle: org.eclipse.core.resources,
|
|||||||
org.eclipse.core.runtime,
|
org.eclipse.core.runtime,
|
||||||
org.eclipse.jface.text,
|
org.eclipse.jface.text,
|
||||||
org.eclipse.ui,
|
org.eclipse.ui,
|
||||||
org.eclipse.ui.editors
|
org.eclipse.ui.editors,
|
||||||
|
org.eclipse.ui.genericeditor
|
||||||
Bundle-RequiredExecutionEnvironment: JavaSE-1.8
|
Bundle-RequiredExecutionEnvironment: JavaSE-1.8
|
||||||
Bundle-ActivationPolicy: lazy
|
Bundle-ActivationPolicy: lazy
|
||||||
Automatic-Module-Name: com.wudsn.ide.pas
|
Automatic-Module-Name: com.wudsn.ide.pas
|
||||||
|
Loading…
Reference in New Issue
Block a user