id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
4345	OMEdit: correct size for pages in options dialog	Jan Kokert	Adeel Asghar	"When we open {{{Tools->Options}}} there are many pages, where the scrollable area on the right is larger than the actual content. If you quickly flicker through the pages using the tree on the left, you might overlook some options. At least due to the fact, that the right vertical scroll bar is '''not reset to the top position''' when going through the options.

It seems that all pages have the same height which might be simpler to implement. But I think this just doesn't look right and the pages shall have a size which is adjusted to the content."	defect	closed	low	1.12.0	OMEdit		wontfix	option pages size