Bugfixes / revisions #1197: Flaw averting the subselection of the right selector triangle in horizontally stretched Alternatives; #1198: Obsolete version hint for the CASE editor preference #1200: Content assist and undo/redo mechanism was lacking in dedicated CASE editor