id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
4295	"new ""checkbox"" annotation is ignored if combined with any other choices annotation"	Dietmar Winkler	Adeel Asghar	"The implementation of enabling the `checkbox=true` feature in OMEdit does not work when also any other annotation is present as part of `choices()`.

So this works:
{{{#!mo
model test
parameter Boolean foo=true ""Activate foo""
  annotation (Dialog(group=""bar""),
   choices(checkbox=true));
end test;
}}}
and this does not (but should really).
{{{#!mo
model test
parameter Boolean foo=true ""Activate foo""
  annotation (Dialog(group=""bar""),
   choices(checkbox=true,foo=true));
end test;
}}}

This is important for example when creating a tool independent library. For example in order to have this feature work in Dymola(which up to at least version 2017FD01 does not support the standard `checkbox`) and OMEdit:

{{{#!mo
model test
parameter Boolean foo=true ""Activate foo""
  annotation (Dialog(group=""bar""),
   choices(checkbox=true,__Dymola_checkBox=true));
end test;
}}}
"	defect	closed	high	1.12.0	OMEdit		fixed