Opened 10 years ago

Closed 10 years ago

#847 closed enhancement (fixed)

Implement Mozilla-style about:config for Padre

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


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 (3)

comment:1 Changed 10 years ago by azawawi

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

comment:2 Changed 10 years ago by azawawi

Fixed in r10747

Thanks :)

comment:3 Changed 10 years ago by azawawi

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