Es geht um den eingebetteten Editor.
Siehe oben. Ich hatte eine etwas längere Leitung
Historisch betrachtet erinnere ich mich noch gut an die Zeit um 2002 wo die
DP anfing. Damals waren ja noch 4:3 CRTs mit höchstens 1280x1024 üblich. Da machte so ein Mini-Editor Sinn. Doch heute, wo wir mit FHD und UHD Platz en masse haben, da wirkt diese Zweiteilung einfacher Editor und erweiterter Editor irgendwie aus der Zeit gefallen. Vielleicht verstehe ich auch den tieferen Sinn des kleinen Editors nicht. Jedenfalls, wie gesagt, ich empfand den schon lange als für mich zu "untermotorisiert". Der Umweg zum erweiterten Editor ging irgendwann zur Gewohnheit über. Heute nehme ich den kleinen Editor bewusst gar nicht mehr wahr.