bugfix: showing TDefTree (left panel menu) weren't updating its view resulting in graphical issues