After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 683750 - <windows-key> + down arrow doesn't do the right thing
<windows-key> + down arrow doesn't do the right thing
Status: RESOLVED DUPLICATE of bug 677565
Product: gnome-shell
Classification: Core
Component: general
3.4.x
Other Linux
: Normal normal
: ---
Assigned To: gnome-shell-maint
gnome-shell-maint
Depends on:
Blocks:
 
 
Reported: 2012-09-10 21:46 UTC by James
Modified: 2012-09-10 22:14 UTC
See Also:
GNOME target: ---
GNOME version: ---



Description James 2012-09-10 21:46:41 UTC
Gnome shell seems to offer pretty decent window "tiling" in that dragging the window either up, down, left, or right does something smart!

Dragging left or right, tile left or right respectively. Dragging up maximizes, and dragging back down pops the window back to a "normal floating window".

I also learned that the <windows-key>+arrow direction do the same things-- almost. Left, right and up all work as expected and match the drag behaviours described above.

Given a normal floating window, using <windows-key>+up followed by <windows-key>+down brings the window back to normal floating state. However, if you do <windows-key>+left followed by <windows-key>+up, then a release, then a <windows-key>+down will not bring the window back to normal. It should. The mouse dragging behaviour is the only way to do this.

This is 100% reproducible.

Thanks for working on this papercut!

James
Comment 1 Florian Müllner 2012-09-10 22:02:23 UTC
Thanks for the bug report. This particular bug has already been reported into our bug tracking system, but please feel free to report any further bugs you find.

*** This bug has been marked as a duplicate of bug 677565 ***
Comment 2 James 2012-09-10 22:14:07 UTC
Thanks, and sorry for the noise!