You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
This commit was created on GitHub.com and signed with GitHub’s verified signature.
Il Menu torna ben visibile: un pulsante con il suo nome nell’intestazione, accanto a Strumenti e alla ricerca (Ctrl K), con lingua, aggiornamenti, aiuto e progetto. Nella 1.11.0 e nella 1.11.1 si apriva solo cliccando sul logo, che non sembra un pulsante, e Strumenti usava proprio l’icona a tre righe del menu. Ora Strumenti ha la sua icona; a finestra stretta Menu e Strumenti restano come icone e il tour li presenta.