window resize performance tuning

Browse Source

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

...

This commit is contained in:

Jannik

2017-09-13 23:57:29 +02:00

parent 3f98dfa059

commit 3bc571bacd

4 changed files with 14 additions and 2 deletions

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Download Patch File Download Diff File Expand all files Collapse all files

BIN

bin/application/Main.class

Binary file not shown.

BIN

bin/application/MainWindowController.class

Binary file not shown.