Tanto per dire, non vedo l’ora che la barra degli strumenti rifletta lo stile di scrittura corrente che stiamo utilizzando.
Ad esempio, se si scrive bold sarebbe davvero bello che la barra degli strumenti lo riflettesse evidenziando lo strumento grassetto, lo stesso per italics. Ovviamente, una volta raggiunto la fine di quello stile, sarebbe fantastico che l’evidenziazione scomparisse.