id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
4338	new checkBox annotation causes display error in diagram	Dietmar Winkler	Adeel Asghar	"When one makes use use of the new `checkBox` annoation then the the latest dev version (seen in `OMEdit 1.12.0~dev-239-g0a2f14a`) generates a box on the diagram layer.

Minimal example: 
{{{#!mo
model DisplayError
parameter Boolean foo=false ""Some toggle parameter:"" annotation (
      Dialog(
      group=""Visualisation"",
      __Dymola_compact=true,
      __Dymola_descriptionLabel=true),
      choices(checkBox=true));
end DisplayError;
}}}

causes the diagram to look like: 
[[Image(DisplayError.png)]]"	defect	closed	high	1.12.0	OMEdit	v1.12.0	fixed