Also, eine neue Version von „gnome-shell-extension-desktop-icons“ ist mit den von mir gewünschten Funktionen erschienen, wie zum Beispiel die Möglichkeit, Dateien mit der Maus in den Browser zu ziehen. Aber als ich die Erweiterung installiert habe, wechselten sie ständig von einer zur anderen, und ich kann die alte nicht von der Site deinstallieren. Weiß jemand, wie man die alte vollständig ersetzt?
Alt: https://extensions.gnome.org/extension/1465/desktop-icons/ Neu: https://extensions.gnome.org/extension/2087/desktop-icons-ng-ding/