Opened 4 years ago

Closed 4 years ago

#631 closed task (fixed)

Grits core : An Extension Point for Preference

Reported by: shan Owned by: shan
Priority: normal Milestone: GRITS e4 migration
Component: GRITS core Version: GRITS 1.1.x
Severity: major Keywords:
Cc: shan


For preference Grits core uses "org.eclipse.ui.preferencePages" from "org.eclipse.ui" plugin. While migrating 3.x plugin, core would be getting rid of the extensions from "org.eclipse.ui".

  • Implement a new extension point "org.grits.toolbox.core.preferencePages"
    • like the previous ext. pt. one would add pages with id, name, class and category
  • Implement a class that reads the extension registry and creates a tree of preference node for the PreferenceManager(jface) class that is used in PreferenceDialog(jface)
    • command handler uses this PreferenceManger class to create the preference dialog

Change History (4)

comment:1 Changed 4 years ago by shan

Owner: set to shan
Status: newassigned

comment:2 Changed 4 years ago by shan

Status: assignedaccepted

comment:3 Changed 4 years ago by shan

Resolution: fixed
Status: acceptedreview

comment:4 Changed 4 years ago by Rene Ranzinger

Status: reviewclosed
Note: See TracTickets for help on using tickets.