Dato che sto mettendo mano alla barra a caratteri ingranditi, mi è stato fatto notare che alcune persone potrebbero preferire averla nella parte alta dello schermo, anziché in basso dove è sempre stata.
Così da oggi è possibile fare questa scelta. Basta andare in:
e quindi scegliere: Alto.