Closed eselmeister closed 2 years ago
The dependency "org.eclipse.ui.workbench" is currently used in the extension bundle to create the ScopedPreferenceStore and the Eclipse Workbench preference page. This is not necessarily needed.
The dependency "org.eclipse.ui.workbench" is currently used in the extension bundle to create the ScopedPreferenceStore and the Eclipse Workbench preference page. This is not necessarily needed.