DragThing, BBedit und PopChar, die Dinger gibt es gefühlt seit 200 Jahren:-) Und ich mag sie sehr, wäre schade, wenn davon was verloren geht.