id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
1836	OMEdit: navigation buttons in documentation viewer	Henning Kiel	Henning Kiel	* provide navigation buttons in documentation viewer and keyboard short cuts (Alt+left/right ?)	enhancement	closed	high	1.9.0	OMEdit		fixed