GUI: delay the GUI state saving a bit
authorJan Kundrát <jkt@flaska.net>
Tue, 22 Oct 2013 15:11:05 +0000 (17:11 +0200)
committerJan Kundrát <jkt@flaska.net>
Wed, 23 Oct 2013 11:59:44 +0000 (13:59 +0200)
commit7052c7dce7a82b92eb41f76c1fda1506f89fdd78
treede516fad5a678ff01a9048fe28a24fa8b9e7f6bb
parent94d745dbcff31954a6552bb8972727c39f88a93d
GUI: delay the GUI state saving a bit

When the user moves a slider, resizes a column or something, it's better to
delay the actual save operation a bit so that the changes are compressed. It
isn't that much useful to save each value in a range separately anyway.
src/Gui/Window.cpp
src/Gui/Window.h