3bc571bacd
* only call refreshUI if space change is enough * added FIXME for pane.setPrefWidth under windows, other parts that are affected see issue main.1