Metamath-lamp (Lite Assistant for Metamath Proofs) is a GUI-based proof assistant for creating formal mathematical proofs in Metamath that does not require installation (just run it directly using your web browser).
In compact mode, a statement can take up the rest of the line if it fits, otherwise it starts on the next line. This takes a lot of unnecessary space, especially on a smartphone.
It'd be nice, at least when it's not being edited, if a statement could start "where it is" and then overflow to the next full lines. In many cases this would reduce the number of lines used on a smartphone. This would result in an editable field that isn't a rectangle; if that's a problem, switching to a rectangle while editing is fine.
This is lower priority, but I thought I should record the idea.
In compact mode, a statement can take up the rest of the line if it fits, otherwise it starts on the next line. This takes a lot of unnecessary space, especially on a smartphone.
It'd be nice, at least when it's not being edited, if a statement could start "where it is" and then overflow to the next full lines. In many cases this would reduce the number of lines used on a smartphone. This would result in an editable field that isn't a rectangle; if that's a problem, switching to a rectangle while editing is fine.
This is lower priority, but I thought I should record the idea.