Code Editor when editing the HTML-type Dashboard Widget

When editing the Dashboard HTML-type widget, there is no code editor.

I have Ace installed, and it works on alle pages, except on the HTML widget.

Anyone knows a way to get a the Code editor working on the HTML widgets?