Ticket #847 (closed enhancement: fixed)

Opened 3 years ago

Last modified 3 years ago

Implement Mozilla-style about:config for Padre

Reported by: adamk Owned by: azawawi
Priority: major Milestone:
Component: editor Version: trunk
Keywords: Cc:

Description

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 :)

Change History

comment:1 Changed 3 years ago by azawawi

  • Owner set to azawawi
  • Status changed from new to assigned

comment:2 Changed 3 years ago by azawawi

Fixed in r10747

Thanks :)

comment:3 Changed 3 years ago by azawawi

  • Status changed from assigned to closed
  • Resolution set to fixed
Note: See TracTickets for help on using tickets.