Button bar for typing HTML tags into text editors