GuiBuilder 0.5.3: fix bug with incorrectly sized columns after editing properties and or deleting items from the tree