<html><head></head><body><div>That's really stupid on Gnome's part. What's next, consolidating all the shortcuts from all the operating systems?</div><div>It's another Gnome "thing" we have to live with now. They are really not helping their users.</div><div><br></div><div>Thanks for clearing this up. It's pointless to file bug upstream as it will be closed immediately because reasons.</div><div>-- </div><div><span><pre>Mladen Mijatov

Key ID: 4096R/83EFD5A0 2013-08-18</pre></span></div><div><br></div><div>On Tue, 2016-12-13 at 18:15 -0500, Jeremy Bicha wrote:</div><blockquote type="cite"><pre>The Super+F1 part is intentional:

<a href="https://git.gnome.org/browse/gnome-settings-daemon/commit/?id=147c0b262f">https://git.gnome.org/browse/gnome-settings-daemon/commit/?id=147c0b262f</a>

For the other examples you listed, maybe you should file a bug against
GNOME directly?

Thanks,
Jeremy Bicha
</pre></blockquote></body></html>