kieler / klighd-vscode

Eclipse Public License 2.0
8 stars 6 forks source link

Add new synthesis configurability to change appearance of choice options #155

Open NiklasRentzCAU opened 9 months ago

NiklasRentzCAU commented 9 months ago

Currently all choice options are displayed as radio buttons. If an option has many options to choose from, a drop down list as implemented in #151 would be interesting. As discussed in the last meeting, we do not want the drop down list as the default, but rather an option that synthesis writers can choose to convert any choice option to a drop down appearance, with the defaults as the current radio buttons.

Will require changes in kieler/KLighD as well.