-
New Feature
-
Resolution: Done
-
Major
-
None
-
None
-
None
-
NEW
-
NEW
The main idea is to have a unified way to manage preferences. A preference consists of a key (string) and a value (any object).
This involves:
- A storage API to store preferences under a central git repository (preferences.git);
- A hierarchical API to save and retrieve preferences;
- A new workbench part (@WorkbenchPreferences), to enable the creation of configuration screens to other workbench parts (screens, perspectives, etc);
- A new client annotation (@Preferences) to be used on workbench parts. This annotation will point to a configuration screen that will be used by this part;
- A centralized UI, where all configuration screens can be accessed.
1.
|
Preferences Store API | Resolved | Paulo Rego | ||
2.
|
Workbench preferences screen | Resolved | Paulo Rego | ||
3.
|
Preferences central UI | Resolved | Paulo Rego | ||
4.
|
Workbench Preferences Bean API | Resolved | Paulo Rego |