Alessandro Pasotti 7a1b9f970b DBManager -> Browser synchronization
Reload/refresh the browser tree and source select connection
items when connections, tables etc. change in the DBManager

Note that this is uni-directional: changes in the browser tree
are not (yet) propagated to the DBManager
2017-09-15 17:08:11 +02:00
..