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

- committed
Alberto Iannaccone - committed
Alberto Iannaccone - authored andcommitted
