DrJava Plug-in for Eclipse Development Tips -----
How to run the plug-in tests:
- The tests create Eclipse objects, which require extra libraries.
There is currently no ant target for running the plug-in tests,
so it's best to run them by hand.
- To do:
- Add instructions for specifying these libraries to this document.
How to add a preference to the plug-in:
- Add a constant to DrJavaConstants
- In DrJavaPreferencePage:
- Add a field in createFieldEditors()
- Add a default value to EclipsePlugin
- Add an IPropertyChangeListener to the PreferenceStore
(EclipsePlugin.getDefault().getPreferenceStore())
- Specifically, in InteractionsController:
- Add a variable to remember preference
- Make action dependent on variable
- Add a line to _updatePreferences
Special note for font preferences:
- Fonts are added to FontRegistry in plugin.xml (via an extension point)
- Use JFaceResources to access the FontRegistry
(see InteractionsController, InteractionsView)
