id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
2134	Cannot resize documentation widget	Martin Sjölund	Adeel Asghar	"I can undock the documentation just fine, but before then it is not possible to make it bigger.

Additonally, the documentation view is not opened as default on documentation classes like Modelica.UsersGuide."	defect	closed	high	1.9.0	OMEdit	trunk	fixed