News for hackers. Stuff that matters.

A comment on I like Gnome Shell. Parent comment

Re:I like Gnome Shell by dtbx on Sunday November 11, 2012 @07:13PM (#4771072)
How to disable the super key overview manually:

Edit /usr/share/gnome-shell/js/ui/main.js

Comment this line:

global.display.connect('overlay-key', Lang.bind(overview, overview.toggle));

Restart gnome-shell with this command:

gnome-shell --replace

It's just Javascript, so it's very easy.

[ Parent | on HN ]
Re:I like Gnome Shell by Ankaios on Sunday November 11, 2012 @08:29PM (#4771232)
That's an 800+ line, system-wide file under the control of the package manager. Just because it's "easy" to hack it doesn't make it a good option.
[ Parent | on HN ]
Re:I like Gnome Shell by mercurial on Monday November 12, 2012 @03:56AM (#4772080)
I'm sorry, but this is rubbish. You are talking about editing a file in /usr, which means your fix is guaranteed to break at the next upgrade. And this is not "easy". Or at least not "easy" in the sense that Gnome "is not meant for users who don't want to select their terminal emulators". This is neither discoverable nor maintainable.

What's wrong with sane defaults and a configuration panel?

[ Parent | on HN ]