Ticket #847 (closed enhancement: fixed)
Implement Mozilla-style about:config for Padre
|Reported by:||adamk||Owned by:||azawawi|
The Padre configuration sub-system was specifically modelled after the Mozilla configuration system. A set of named heirachal settings, with a small fixed set of types.
My intent at the time was to steal the about:config trick from Mozilla, so that Preferences only has to contain the most important and common settings, and we can have an "Advanced Preferences" dialog that is almost identical to Mozilla about:config for twiddling experimental, advanced, and sekrit settings.
Azawari says he'll implement this if I file a ticket, and then I'll implement some more controls for the PPI syntax highlighter :)