Terribly sorry. I think I had simply overlooked reloading gnome. Today (after a reboot) the extension does appear in gnome-tweak-tools.

The extension unfortunately does not permit to access hibernate functionality (or I didn’t find how). But I guess that’s not a bug!

Thanks and sorry again.


--
To UNSUBSCRIBE, email to [email protected]
with a subject of "unsubscribe". Trouble? Contact [email protected]

Reply via email to