Ticket #106 (closed defect: fixed)

Opened 5 years ago

Last modified 5 years ago

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

comment:1 Changed 5 years ago by szabgab

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

the default value overwrote the saved one
fixed in r778

Note: See TracTickets for help on using tickets.