Ich habe in den Optionen user_preferences gehabt, die ich in den Optionen löschen wollte.
Hab jetzt mal nach dem Löschen diesen "aktualisieren" Button gedrückt und siehe da sie waren weg. Das hab ich davor nicht gemacht, aber anscheinend klappts so.
Was anderes hab ich nicht gemacht.
Grüße,
Thomas
[Diese Nachricht wurde von tom-nx am 19. Sep. 2017 editiert.]