| Sat, 21 Nov 2015 19:04:39 +0100 | wenzelm | limit statistics, to avoid exhaustion of heap space or GUI time; | changeset | files |
| Sat, 21 Nov 2015 16:35:46 +0100 | wenzelm | render snapshot.is_outdated in text overview, where other status information is shown already; | changeset | files |
| Sat, 21 Nov 2015 16:33:48 +0100 | wenzelm | avoid flashing of main text area (visual "grey-out") due to spurious edits, e.g. State panel auto-update; | changeset | files |
| Sat, 21 Nov 2015 16:07:29 +0100 | wenzelm | clarified default; | changeset | files |
| Sat, 21 Nov 2015 16:06:36 +0100 | wenzelm | recovered auto update from f9aaca00be49; | changeset | files |
| Sat, 21 Nov 2015 15:45:09 +0100 | wenzelm | less intrusive rendering, notably for State dockable; | changeset | files |
| Sat, 21 Nov 2015 14:17:54 +0100 | wenzelm | clarified rendering of Markup.DOC: like Markup.PATH / Markup.URL; | changeset | files |