Ticket #228 (closed defect: fixed)

Opened 5 years ago

Last modified 5 years ago

preference, settings, etc. *not* saved / restored

Reported by: jquelin Owned by:
Priority: critical Milestone:
Component: editor Version: 0.25
Keywords: Cc:

Description

  1. open padre
  2. plugins / plugin manager
  3. enable some plugins
  4. quit padre
  5. open padre
  6. plugins / plugin manager

==> activated plugins in 3. are no longer enabled

Change History

comment:1 Changed 5 years ago by jquelin

  • Priority changed from major to critical

in fact, this is the whole configuration that is not being saved:

  • settings
  • last opened file
  • view preferences
  • etc

or maybe it's during restore, since the db file is updated according to the its timestamp... this is really annoying.

comment:2 Changed 5 years ago by jquelin

  • Summary changed from plugin state (enabled / disabled) not stored to no preference, settings, etc. saved / restored

happens with 0.25 official and latest svn snapshot (r2810 as of time of writing)

comment:3 Changed 5 years ago by jquelin

  • Summary changed from no preference, settings, etc. saved / restored to preference, settings, etc. *not* saved / restored

comment:4 Changed 5 years ago by jquelin

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

fixed as of v0.26

Note: See TracTickets for help on using tickets.