Added live filter for tables in database view, i.e. field where you can type and it will narrow list of tables. Very useful for databases with hundreds of tables :)
added live filter for tables
I think that simple browser search is enough in most cases and I don't want to clutter the UI with this extra feature.
Regarding the patch:
I've created a plugin tables-filter for this feature.