Zwei Dinge sind mir in letzter Zeit aufgefallen:
- Beim Start von tomedo kommt eine Fehlermeldung "Ungültige Arbeitsplatz-ID".
- In PopUps ist es nicht mehr möglich, über die Tastenkombination ctrl-cmd-Leertaste ein Sonderzeichen einzufügen. Wenn man bei offenem PopUp in die Kommandozeile und dann wieder in das PopUp klickt, wird bei diesem Versuch das Sonderzeichen fälschlicherweise in die Kommandozeile eingefügt. Daselbe Problem besteht bei bestimmten Snippets aus dem Tool TextExpander.
Bin ich der einzige oder haben andere das Problem auch?
Ich wünsche einen erfolgreichen Arbeitstag!