Sun, 18 Jan 2015 20:15:05 +0100 | wenzelm | clarified main actions and keyboard focus; | file | diff | annotate |
Sun, 18 Jan 2015 19:21:10 +0100 | wenzelm | tuned signature; | file | diff | annotate |
Sun, 18 Jan 2015 17:34:14 +0100 | wenzelm | support for tree view on graph nodes; | file | diff | annotate |