Re: Jelly dropdown list with filter?

[Ullrich Hafner]

You can use a  


> Am 08.09.2023 um 04:56 schrieb Michael Carter :
> 
>  
> 
> Is there an option or variant that has a filter in it?   Some of the 
> dropdowns I have can get quite large and before I go writing something wanted 
> to see if there was something out there available to plugin developers.
> 
> -- 
> You received this message because you are subscribed to the Google Groups 
> "Jenkins Developers" group.
> To unsubscribe from this group and stop receiving emails from it, send an 
> email to jenkinsci-dev+unsubscr...@googlegroups.com 
> .
> To view this discussion on the web visit 
> https://groups.google.com/d/msgid/jenkinsci-dev/94458145-6100-452c-a0fb-2d8c6cbd1cd1n%40googlegroups.com
>  
> .

-- 
You received this message because you are subscribed to the Google Groups 
"Jenkins Developers" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to jenkinsci-dev+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/jenkinsci-dev/1EE62CF2-97A4-4428-A73B-9C2000EF4CE9%40gmail.com.

Jelly dropdown list with filter?

[Michael Carter]

 

Is there an option or variant that has a filter in it?   Some of the 
dropdowns I have can get quite large and before I go writing something 
wanted to see if there was something out there available to plugin 
developers.

-- 
You received this message because you are subscribed to the Google Groups 
"Jenkins Developers" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to jenkinsci-dev+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/jenkinsci-dev/94458145-6100-452c-a0fb-2d8c6cbd1cd1n%40googlegroups.com.