Customization of tree widget height into xml
This issue was created automatically from an original Mantis Issue. Further discussion may take place here.
Currently the tree widgets/views have the same height. A new feature will allow setting the height into xml files, by adding a hint tag into the corresponding property. So a tree widget/view will have a specific height, depending on the filter/source to which it belongs.