Editor / Display proper name for CHOICE_ELEMENT and GROUP_ELEMENT which are flags added to element names.
Editor / Mandatory choice element should be highlighted in bold like other mandatory elements.
Editor / ISO19139 / Some boxed elements.
Editor / Allow editing of gml:* element having simple text #684