Use extension points PreferencesGroup and PreferencesTab in the core plugin to register new GUI elements and grouping mechanisms to the preferences dialog. New GUI components need to implement the bwfdm.replaydh.ui.config.PreferencesTab interface.
Client now also has a restart function that calls a new java process with the same arguments and settings as the active client.
Finish work on the preferences framework and GUI.
Use extension points PreferencesGroup and PreferencesTab in the core plugin to register new GUI elements and grouping mechanisms to the preferences dialog. New GUI components need to implement the bwfdm.replaydh.ui.config.PreferencesTab interface.
Client now also has a restart function that calls a new java process with the same arguments and settings as the active client.