1. Connect to some DB.
2. Open SQL Editor for it and trype following statement:
"drop table tmp;".
3. Run it.
Result: The table is deleted, but it doesn't disappear from "Tables" node. It will be good to invoke refresh for this node
and remove deleted table automatically.
I forgot to file it yesterday. Similar issue with filed already, but different fix. I filed issue for better tracking.
Reassigned to new owner.
No plan to change it