| Sun, 10 Jan 2021 15:35:24 +0100 | wenzelm | tuned; | changeset | files |
| Sun, 10 Jan 2021 15:32:28 +0100 | wenzelm | avoid Unicode quotes; | changeset | files |
| Sun, 10 Jan 2021 15:14:27 +0100 | wenzelm | clarified pretty margin: attempt to avoid scrollbar; | changeset | files |
| Sun, 10 Jan 2021 13:17:27 +0100 | wenzelm | more documentation; | changeset | files |
| Sun, 10 Jan 2021 13:04:29 +0100 | wenzelm | more informative errors: simplify diagnosis of spurious failures reported by users; | changeset | files |
| Sat, 09 Jan 2021 22:41:08 +0100 | wenzelm | proper labels for status message: "sidekick.parsing-complete={0} parsing complete, {1} error(s)"; | changeset | files |
| Sat, 09 Jan 2021 22:14:30 +0100 | wenzelm | proper size of buttons in Symbols dockable, e.g. \<A> 0x01d49c vs. \<B> 0x00212c; | changeset | files |