Sat, 21 Nov 2015 20:13:52 +0100 double flush to ensure persistent "state" output is reset;
wenzelm [Sat, 21 Nov 2015 20:13:52 +0100] rev 61728
double flush to ensure persistent "state" output is reset; tuned GUI;
Sat, 21 Nov 2015 20:12:36 +0100 reverted 2abbe7d700e9: "state" output is not necessarily proof state;
wenzelm [Sat, 21 Nov 2015 20:12:36 +0100] rev 61727
reverted 2abbe7d700e9: "state" output is not necessarily proof state;
Sat, 21 Nov 2015 19:38:14 +0100 clarified default (again) in accordance to with Output dockable, despite more CPU resources requirements;
wenzelm [Sat, 21 Nov 2015 19:38:14 +0100] rev 61726
clarified default (again) in accordance to with Output dockable, despite more CPU resources requirements;
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 tip