Zoso der Goldene
Zoso der Goldene
Moreover, they change with every mouse over (and if you apply them, they are applied as shown at that moment) E.g.: 
Sometimes that's also the case within a module, but there's already an issue for that ( #657). This here hits me every time I rename something that's used from e.g....
When I reference a data constructor from another module, and that data constructor is not in the import list, there is an option to have it added to the import...
If I have a type Number = Number Int, Shift-F6 (refactor-rename) the type name changes the Data constructor name, too. Maybe this is intentional; for me, it's - unexpected.
I have a hard time figuring out how to use these; the documentation doesn't even mention them.
I usually start by a premise, expand it to a Short Synopsis of the Fabula, and then basically expand every sentence of the Short Synopsis to a paragraph or two...
I'm using bibisco 4.0.0-SE on Windows 11 Pro Build 22631.4317, both on my desktop with a Logitech K860 and on my Surface Pro 8, either with the Surface keyboard or...