Opened 6 years ago

Closed 6 years ago

#228 closed defect (fixed)

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

comment:1 Changed 6 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 6 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 6 years ago by jquelin

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

comment:4 Changed 6 years ago by jquelin

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

fixed as of v0.26

Note: See TracTickets for help on using tickets.