Closed GuillemBarroso closed 1 year ago
Once a selection is done, the user should be able to replace it by a capital letter. This is currently not implemented
Once a selection is done, the user should be able to replace it by a capital letter. This is currently not implemented