This gadget is broken, because its resources were all being loaded from brion's Toolserver account, which has expired. :^(
Topic on Extension talk:CodeEditor
Allegedly this should be fixed within a few hours...
It expired again.
Indeed.
This gadget is broken, because its resources were all being loaded from brion's Toolserver account, which has expired. :^(