Hi all,
Just to clarify I'm talking about the filter in the toolbar on top, above the database/table tree. I have ended up with some table names there that are long gone and I would like to delete them from the list. But I can't see a way to do it.
If I export the settings file, I find this in an entry called "TableFilter"
TIA :)