#258 a little more space for the tree widget