Batch edit - Search box

Hi Guys,

It would be very helpful if you could add a search box to the batch edit window "General Settings", "Session Type Settings", "User Specific Settings", "Local Specific Settings". This way we could search for a specific value without needing to click on several tabs to get there.

Example in attach

Regards,

Rafael