Ok… I like this new text editor interface… but this had me stumped for a while… so in case anyone else is wondering the same…
If you need to type the / character in your text or html element, just hit the backspace key after the dropdown appears.
thanks for this! was getting irritated for a while…