fixed some gui bugs like not refreshed server vbox after enabling its proxy