Ticket #762 (closed defect: fixed)

Opened 4 years ago

Last modified 4 years ago

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

comment:1 Changed 4 years ago by Sewi

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

Fixed by the recently committed menu refresh fix

Note: See TracTickets for help on using tickets.