Integration of the GUI for USER PREFERENCES (inneffective for now).
Authored by: bruno.herbelin 2010-07-15
Parent: [r165]
Child: [r167]