Gnome-shell extension disabling hotcorners
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool
j0hannes opened this issue 9 years ago · comments
just a hint
Updated for gnome-shell 3.18