search

pop-os / cosmic

Computer Operating System Main Interface Components
GNU General Public License v3.0
1.16k stars 45 forks source link

Allow user to disable Overlay (Super) key behavior in settings #357

Closed TDuffinNTU closed 8 months ago

TDuffinNTU commented 1 year ago

Currently, users of arc menu have to manually edit extension.js to comment out the overlay_key function if they want to manually control the Super key's functionality (to open up the alternative menu). There's also other reasons a user may want to hand control of the Super Key to another app or extension while still using pop-Cosmic.

at the moment, you can change Super from either controlling the overlay menu, or showing the app tray, but not disable it altogether.

I could easily disable pop-cosmic, but this is just a QoL change that seems easy enough to accomplish :)

atimeofday commented 1 year ago

I second this.

Thank you so much for pointing me to the right file and lines to comment out! It's exactly what I needed.

TDuffinNTU commented 8 months ago

Closing as likely addressed with migration to Cosmic DE :)