Du verwendest einen veralteten Browser. Es ist möglich, dass diese oder andere Websites nicht korrekt angezeigt werden. Du solltest ein Upgrade durchführen oder ein alternativer Browser verwenden.
gibt es eine Möglichkeit den benutzerspezifischen Client-Zustand nicht in workbench.xml sondern in einer Datenbank abzulegen und beim neum Start natürlich aus der Datenbank zu laden.