jp9000 efe31c9fe9 UI: Keep prop. view scroll positions if modified ...

If the properties view is scrolled down or right and a widget triggers
it to repaint, it would reset its scroll position, making editing a bit
awkward.  This simply saved/restores the position before and after
rebuilding the properties view.

2015-02-06 00:01:21 -08:00

20 KiB

Raw Blame History

View Raw