Johannes C. Mayer
Johannes C. Mayer
There is an issue in .lean files. In LEAN you can do (-- is a comment): ``` namespace NAME --some stuff end ``` or ``` section NAME --some stuff end...
**Is your feature request related to a problem? Please describe.** The "Enable skip silence" is automatically reset to false if I reload the page, or open a new page. The...
When I have an active selection I would like to press some button like control, to make another selection that is then "added" to the original selection. Maybe I have...
I think it would be nice if you could select an annotation together with the pixels of the drawing, when the annotation is completely in the selected area. Ideally, this...
I would like to disable the behavior of the pen, to connect to the point where you started drawing if you are close to the starting point, when you lift...
### What happened? I invited somebody to a workspace, and then they could not join. When they opened the workspace it said that it was not accessible to them. The...
Would it be possible to display in addition to the name string also the current index of the workspace? This would be useful to me in order to use a...
Normally I write a plan of what I want to do every day in my daily note. However, I want to put the plan for the next day in the...
It would be really good I think if I could see the collaborators cursors all the time, instead of having to constantly switch between the pen tool and the laser...
I am using drawpile as a whiteboard. It would be useful to have shortcuts for specific colors. Right now I am using the `Swatch Color x` shortcuts. The problem is...