Skip to content

update/fix filter example #225

Merged
seanhess merged 5 commits into
mainfrom
ex-fi
May 22, 2026
Merged

update/fix filter example #225
seanhess merged 5 commits into
mainfrom
ex-fi

Conversation

@sectore
Copy link
Copy Markdown
Collaborator

@sectore sectore commented May 22, 2026

  • clear input on ESC

  • add back button

  • Selecting Any from "Language Family" breaks round-trip.

    Error: "Parse Input: parsing Example.Data.ProgrammingLanguage.LanguageFamily failed, expected String, but encountered Null".

    Try it here.

    hb-filter-any

    Fix: Now <option> will be rendered to <option value=""> in case it gets a Nothing or any other Null like value.

@sectore sectore changed the title update/fix filter exmple update/fix filter example May 22, 2026
Note: this view is shared by `Filter` and `Autocomplete` examples
@sectore sectore mentioned this pull request May 22, 2026
3 tasks
@sectore sectore requested a review from seanhess May 22, 2026 11:12
Comment thread src/Web/Hyperbole/HyperView/Input.hs Outdated
@sectore sectore requested a review from seanhess May 22, 2026 16:57
@seanhess seanhess merged commit e41e14b into main May 22, 2026
13 checks passed
@sectore sectore deleted the ex-fi branch May 22, 2026 17:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants