@Phoenix: Du meinst, dass man die Editiererei nicht mehr nativ macht sondern quasi einen JavaScript-Editor direkt im Browser verwendet? Hmm, an die Möglichkeit hab ich noch gar nicht gedacht. Dadurch muss ich dann zwar die relevanten Codeteile hinterher aus dem Gewusel aus DIVs rausoperieren aber über das
DOM eigentlich kein Problem.
Naja, fast kein Problem: Damit die JS-Editoren ihren ganzen Krempel nachladen können, müsste ich einen kleinen Webserver integrieren oder jeder einzelnen Installation die ganzen Dateien mitgeben. Das würde eine ziemliche Umstrickerei. Aber prinzipiell wärs machbar.
Da muss ich jetzt mal schwer drüber nachdenken...
