Shows how the Plug-in is integrated into the JDeveloper IDE.
9.2.3. Preferences dialog
The Jalopy preferences are integrated into the preferences dialog of
JDeveloper 9i which is reachable through the
→
menu.
Each Jalopy preferences page is added as a subentry to the main Jalopy
preferences entry.
Jalopy preferences are stored in the $HOME/.jalopy
directory.
This is in contrast to other JDeveloper preferences which are stored within the
IDE configuration files. It is intentional in order to allow reuse of Jalopy
preferences between different IDEs. Note that in this release, Jalopy
preferences are stored whenever the user leaves a page. If the user moves to
another settings page, all settings are stored to disk even if the user
chooses to cancel the preferences dialog later on.