A reply for the last comment in #2427
Just to leave here my reply to #2427 (comment 1530480), as the issue was suddenly locked before I could reply in a civilized, code of conduct compliant way. I consider locking that issue to be an action not becoming of a GNOME member.
doing nothing is self-explanatory\
Yeah, but the impression from user perspective is that the shortcut doesn't work, which I think is the reason this issue was opened.
There is no need to hide it in large windows.\
:( count me in the set of people needing to hide it in large windows.
Edited by Stan Grupp