id,summary,reporter,owner,description,type,status,priority,milestone,component,version,resolution,keywords,cc
106,"preference ""use tabs"" is not saved",jquelin,,"1. open padre
2. menu edit / preferences
3. uncheck ""use tabs"", validate
4. quit padre
5. open padre
6. preference ""use tabs"" is still checked

note that ~/.padre/config.yml seems to be written correclty:
editor_use_tabs: ''
",defect,closed,minor,,editor,0.15,fixed,,
