Ingrandimento e ripristino

A volte può essere utile ingrandire al massimo una visualizzazione o un editor. L'ingrandimento è semplice.

Allo stesso modo è possibile ripristinare una visualizzazione alle dimensioni originali.