Der Client schreibt den Parameter selbst in die INI wenn er nicht vorhanden ist. Nur der Anfangswert ist 170 - das ist die initiale Breite der Workspaceleiste - zieht man die Leiste breiter ändert sich auch der Wert entsprechend. Ich hatte das Problem auch vor ein paar Wochen und hab die Lösung zum Glück schnell selbst gefunden: Parameter löschen. Das löst das Problem am einfachsten, der Client schreibt ihn ja alleine (mit dem Defaultwert) wieder hinein.
HTH
Carsten