Opened 6 years ago

Closed 6 years ago

#106 closed defect (fixed)

preference "use tabs" is not saved

Reported by: jquelin Owned by:
Priority: minor Milestone:
Component: editor Version: 0.15
Keywords: Cc:

Description

  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:

Change History (1)

comment:1 Changed 6 years ago by szabgab

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

the default value overwrote the saved one
fixed in r778

Note: See TracTickets for help on using tickets.