psppire-output-view: Only rerender for real changes.
authorBen Pfaff <blp@cs.stanford.edu>
Wed, 2 Jan 2019 05:07:05 +0000 (21:07 -0800)
committerBen Pfaff <blp@cs.stanford.edu>
Wed, 2 Jan 2019 06:07:55 +0000 (22:07 -0800)
commit355f0104f7b496494d4ca4fe71162e3df0754226
tree1bf7b9aa4ba213254fd3dbf71c522f1220fde4fb
parentd18e5ef8b730eda2c87a596cf51159dd5044e541
psppire-output-view: Only rerender for real changes.

Rerendering is expensive and slow, so only do it when there's a real change
like font size, not just when the cursor moves to a different window.
src/ui/gui/psppire-output-view.c