checkboxes in view menu aren't updated on padre startup
|Reported by:||jquelin||Owned by:|
- clean your .padre
- launch padre
- menu view / show right margin (or line numbers, or folding, etc)
- close padre
- open padre
- 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.