debianforum.de

Moin ihr Gnome Nutzer (trixie)
https://extensions.gnome.org/
ist irgendwie kaputt.
Ich kann seit dem Gestrigen Update auch mit
Erweiterungen nicht mehr die clipboard Manager enablen.
Schon auch xorg, probiert.
Sehr ärgerlich, weil ich etliche Einträge gepinned habe.

Ich vermute, ich muss warten, bis ein Entwicker sich erbarmt..

solange, bis das wieder funktioniert nehme ich diodon,
ein Shortcut dafür definiert und die Schmerzen sind schon geringer