Ticket #359 (closed defect: fixed)

Opened 5 years ago

Last modified 5 years ago

Style won't saved

Reported by: patmat Owned by: therek
Priority: major Milestone:
Component: editor Version: 0.35
Keywords: Cc:

Description

On Ubuntu 9.04, the newest Padre release via CPAN.
If I change the Style in the Padre GUI and restart it, it won't be saved. The standard style shows up.

Change History

comment:1 Changed 5 years ago by therek

  • Owner set to therek
  • Status changed from new to accepted

comment:2 Changed 5 years ago by therek

  • Status changed from accepted to closed
  • Resolution set to fixed

Funny thing, it turned out that some of the radio-box settings from Menu->View were not stored until save in Preferences dialog was pressed. The style did not even set new value.

Fixed in r4762.

Note: See TracTickets for help on using tickets.