hi!

Ich hoffe mein Posting kam jetzt nicht so rüber, als wollte ich Schleichwerbung machen, denn das war tatsächlich nicht beabsichtigt!
Ich kenne den genannten Editor tatsächlich nicht!

ich auch (noch) nicht. ;-)
ich arbeite bisher mit phpedit und bin soweit zufrieden. hab zumindest nicht das gefühl, das mir noch irgendeine wichtige funktion fehlen würde.
http://www.phpedit.net/products/PHPEdit/

grüsse, raik