id,summary,reporter,owner,description,type,status,priority,milestone,component,version,resolution,keywords,cc
228,"preference, settings, etc. *not* saved / restored",jquelin,,"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",defect,closed,critical,,editor,0.25,fixed,,