id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
762	checkboxes in view menu aren't updated on padre startup	jquelin		"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"	defect	closed	major		editor	0.50	fixed