expln/metamath-lamp

Unable to manually add disjoints on mobile

Closed this issue · 2 comments

BTernaryTau commented

Adding a new line to the disjoints box currently requires pressing shift+enter, but this doesn't work on mobile devices. Pressing enter on a smartphone/tablet should insert a new line instead of exiting the text area.

expln commented

A fix is available on dev. I added a new button. You may use it on mobile to start a new line, or to insert a line break in the middle of a text.

image

  • 👍1
expln commented

This fix is available in version 19.