refresh

Deleting a table, column, etc can be done for any thread, by calling table.markForDeletion(). The effective delete is done by calling this method, on the JavaFX thread (in GUI mode). This ensures the correct rendering of the project structure.