Opened 5 years ago

Closed 5 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:

Description

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 5 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.