Skip to content

Enum combobox#216

Merged
rprimet merged 1 commit intomasterfrom
enum_combobox
Apr 9, 2026
Merged

Enum combobox#216
rprimet merged 1 commit intomasterfrom
enum_combobox

Conversation

@rprimet
Copy link
Copy Markdown
Collaborator

@rprimet rprimet commented Apr 3, 2026

This replaces the enum select control by a searchable combobox which should be more practical for enums with a large number of options

image

@rprimet rprimet self-assigned this Apr 3, 2026
@rprimet rprimet force-pushed the enum_combobox branch 2 times, most recently from 09997ba to 3e94fe9 Compare April 9, 2026 08:04
@rprimet rprimet merged commit 7662360 into master Apr 9, 2026
2 checks passed
@rprimet rprimet deleted the enum_combobox branch April 9, 2026 09:05
@github-project-automation github-project-automation Bot moved this from In Progress to Done in Catala - language & tooling Apr 9, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

2 participants