Ich stolperte über „Mozilla > Products > Tools > Firefox Developer Tools > Integrated into Firefox“ und fand den „Extras > Web-Entwickler > Notizblock“ (Scratchpad) und die „Extras > Web-Entwickler > Stil-Bearbeitung“ (Styleeditor) beide basierend auf dem Quelleditor (Source Editor), der eigentlich nur eine „Source Editor API“ ist. Diese Programmierschnittstelle wird seit einigen Firefox-Versionen durch den Orion-Editor des Eclipse Projektes bereitgestellt.
Andrew Niefer: Embedding the Orion Editor
Those code snippets are actually being shown using the Orion Editor embedded into my blog post.
