Merged
Let the user edit the font size settings with the keyboard#1547
Commits
Commits on Oct 21, 2022
- committedAlberto Iannaccone
- committedAlberto Iannaccone
- committedAlberto Iannaccone