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 |
Sat, 09 Jan 2021 20:17:56 +0100 | wenzelm | clarified list of presented look-and-feels; | changeset | files |