Fenster Positionsliste umbenennen zu klein

[Thom_Cody]

Ok, ist die 3.1. Ich konnte das Fenster größer ziehen. Hatte ich nicht probiert, da ich es bei Popup-Fenstern nur kenne, dass die eine fixe Größe haben.
Wüsste aber nicht, worum ich das hätte kleiner machen sollen.