<f:select> 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.
