| Sat, 21 Nov 2015 19:27:06 +0100 | wenzelm | more thorough update of options; | changeset | files |
| 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 |