Opened 10 years ago

Closed 10 years ago

#762 closed defect (fixed)

checkboxes in view menu aren't updated on padre startup

Reported by: jquelin Owned by:
Priority: major Milestone:
Component: editor Version: 0.50
Keywords: Cc:


to reproduce:

  1. clean your .padre
  2. launch padre
  3. menu view / show right margin (or line numbers, or folding, etc)
  4. close padre
  5. open padre
  6. display is as was configured in 3, but menu checkboxes are not ticked accordingly

after startup, checkboxes are updated accordingly.

using padre 0.50 (still valid in trunk as of r9228) on mandriva.
gtk+ 2.18.3

Change History (1)

comment:1 Changed 10 years ago by Sewi

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

Fixed by the recently committed menu refresh fix

Note: See TracTickets for help on using tickets.