Thread:MediaWiki talk:Gadget-CodeEditor.js/Bug

The button is not being displayed correctly:

I'm using Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.9.1.16) Gecko/20110430 Iceweasel/3.5.16 (like Firefox/3.5.16).