Skip to content

Adding custom filterOptions function to SelectBox#1182

Merged
monchier merged 2 commits intostreamlit:developfrom
monchier:1010
Mar 6, 2020
Merged

Adding custom filterOptions function to SelectBox#1182
monchier merged 2 commits intostreamlit:developfrom
monchier:1010

Conversation

@monchier
Copy link
Copy Markdown
Contributor

@monchier monchier commented Mar 4, 2020

Issue: #1010

Description: Adding a custom filterOptions to make the selectbox filter options based on the labels only. The default filterOptions function in baseweb filters based on labels or indeces at the same time.


Contribution License Agreement

By submiting this pull request you agree that all contributions to this project are made under the Apache 2.0 license.

@monchier monchier requested a review from a team as a code owner March 4, 2020 21:50
@monchier monchier requested a review from arraydude March 4, 2020 21:50
Copy link
Copy Markdown
Contributor

@arraydude arraydude left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

🚀

@monchier monchier merged commit 448ebbf into streamlit:develop Mar 6, 2020
@monchier monchier deleted the 1010 branch March 6, 2020 00:30
tconkling added a commit to tconkling/streamlit that referenced this pull request Mar 9, 2020
* develop:
  Unpin python-dateutil package version (streamlit#1153)
  Pypi nightly builds (streamlit#1171)
  Adding custom filterOptions function to SelectBox (streamlit#1182)
  Expire media files when ReportSession expires (streamlit#1128)
  1159/use_container_width (streamlit#1174)
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