Sì, questo è davvero necessario. Non solo un’opzione “predefinita” per tutti gli utenti, ma poi ogni utente potrebbe personalizzarla, perché non tutti hanno bisogno di un pulsante per rendere il testo “Grassetto”, o “Corsivo”, o anche “Chiedi all’IA”.
Ma per ora, poter almeno spostare le cose a livello globale e aggiungerle al menu nascosto/ruota dentata, aiuterebbe.
Sul mio schermo da 13 pollici le cose stanno iniziando a diventare un po’ anguste (mi piace sempre avere una parte dell’argomento originale visibile per citare sezioni, ecc.):
