Info hier [devontechnologies.com].

Die Änderungen sind vielleicht nicht atemberaubend, aber ein Wunsch von mir wurde wahr: ich kann jetzt die rechte Spalte kleiner ziehen. Ich benutze DT überwiegend um kurze Texte im Schnellzugriff zu haben, da soll die Textspalte schmal bleiben.

a.