Sun, 18 Jan 2015 20:15:05 +0100 wenzelm clarified main actions and keyboard focus;
Sun, 18 Jan 2015 19:21:10 +0100 wenzelm tuned signature;
Sun, 18 Jan 2015 19:09:41 +0100 wenzelm retain uniform background, notably wrt. PDF output and tree panel;
Sun, 18 Jan 2015 19:06:37 +0100 wenzelm option graphview_swap_panels;
Sun, 18 Jan 2015 17:34:14 +0100 wenzelm support for tree view on graph nodes;
Sun, 18 Jan 2015 17:32:38 +0100 wenzelm tuned;
Sun, 18 Jan 2015 17:31:27 +0100 wenzelm no censorship of L&F;
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -7 +7 +10 +30 +100 +300 +1000 +3000 +10000 tip