Sun, 18 Jan 2015 20:15:05 +0100 | wenzelm | clarified main actions and keyboard focus; | changeset | files |
Sun, 18 Jan 2015 19:21:10 +0100 | wenzelm | tuned signature; | changeset | files |
Sun, 18 Jan 2015 19:09:41 +0100 | wenzelm | retain uniform background, notably wrt. PDF output and tree panel; | changeset | files |
Sun, 18 Jan 2015 19:06:37 +0100 | wenzelm | option graphview_swap_panels; | changeset | files |
Sun, 18 Jan 2015 17:34:14 +0100 | wenzelm | support for tree view on graph nodes; | changeset | files |
Sun, 18 Jan 2015 17:32:38 +0100 | wenzelm | tuned; | changeset | files |
Sun, 18 Jan 2015 17:31:27 +0100 | wenzelm | no censorship of L&F; | changeset | files |