proper labels for status message: "sidekick.parsing-complete={0} parsing complete, {1} error(s)";
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE9480a9efe19e: proper size of buttons in Symbols dockable, e.g. \<A> 0x01d49c vs. \<B>…
- Branches
- Unknown
- Tags