| Mon, 14 Sep 2015 19:46:50 +0200 | wenzelm | avoid hardwired colors; | file | diff | annotate |
| Wed, 28 Jan 2015 19:23:03 +0100 | wenzelm | tuned comment; | file | diff | annotate |
| Wed, 28 Jan 2015 19:18:08 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Wed, 28 Jan 2015 19:15:13 +0100 | wenzelm | clarified module name; | file | diff | annotate |
| Sun, 25 Jan 2015 20:16:27 +0100 | wenzelm | support for off-line graph output, without GUI thread; | file | diff | annotate |
| Sun, 25 Jan 2015 17:48:14 +0100 | wenzelm | separate module Graph_File; | file | diff | annotate |
| Mon, 19 Jan 2015 21:06:47 +0100 | wenzelm | suppress inactive controls (again); | file | diff | annotate |
| Mon, 19 Jan 2015 20:39:01 +0100 | wenzelm | tuned; | file | diff | annotate |
| Mon, 19 Jan 2015 20:31:53 +0100 | wenzelm | more symmetric layout of main panel; | file | diff | annotate |
| Sun, 18 Jan 2015 22:46:38 +0100 | wenzelm | suppress some controls that don't work yet; | file | diff | annotate |
| Sun, 18 Jan 2015 22:07:45 +0100 | wenzelm | tuned; | file | diff | annotate |
| Sun, 18 Jan 2015 22:03:53 +0100 | wenzelm | misc tuning; | file | diff | annotate |
| Sun, 18 Jan 2015 21:35:54 +0100 | wenzelm | proper scrolling wrt. transform; | file | diff | annotate |
| Sun, 18 Jan 2015 17:34:14 +0100 | wenzelm | support for tree view on graph nodes; | file | diff | annotate |
| Sat, 17 Jan 2015 23:12:02 +0100 | wenzelm | proper refresh after apply_layout, in order to update preferred size, which is required for scroll pane; | file | diff | annotate |