Skip to content
This repository has been archived by the owner on Dec 8, 2020. It is now read-only.

Keyboard Shortcuts resize banner to full-screen #42

Open
ZKjellberg opened this issue Feb 5, 2020 · 5 comments
Open

Keyboard Shortcuts resize banner to full-screen #42

ZKjellberg opened this issue Feb 5, 2020 · 5 comments

Comments

@ZKjellberg
Copy link

Window management keyboard shortcuts are able to resize the banner to be full-screen or half-screen. I often trigger this behavior trying to resize my active windows & the Classification Banner is seen as the target. Is there a mechanism to disable window management from applying this behavior?

As our implementation is ran as a system process, the user is forced to terminate their session to restore the original behavior.

See below for sample scenarios

Screen Shot 2020-02-05 at 1 20 21 PM

Screen Shot 2020-02-05 at 1 20 25 PM

@fcaviggia
Copy link
Owner

This may be a quirk of GNOME - I've tried to disable everything in pyGTK. There might be something in there that I missed.

https://developer.gnome.org/pygtk/stable/class-gtkwindow.html#method-gtkwindow--set-decorated

@ZKjellberg
Copy link
Author

ZKjellberg commented Feb 7, 2020

Would gtk.Window.set_resizable potentially address this?
https://developer.gnome.org/pygtk/stable/class-gtkwindow.html#method-gtkwindow--set-resizable

Additionally, gtk.Window.is_active & gtk.Window.has_toplevel_focus seem interesting. Would either of these disable the ability for the user to interact with the windows through shortcuts?

For now, you can select WIN+DOWN to reset the position.

@fcaviggia
Copy link
Owner

Try the latest change and let me know if that fixes it.

@ZKjellberg
Copy link
Author

ZKjellberg commented Feb 10, 2020

Disabling set_resizable prevents the behavior, but stops the window for properly resizing for the user's resolution.

Reviewing the two other methods I suggested, I realize now, both are just Boolean checks and don't impact the behavior.

See below for the current behavior:

Screen Shot 2020-02-10 at 9 38 59 AM

@fcaviggia
Copy link
Owner

I don't know how to fix that and I don't have time to try and figure this out right now. Undid last change.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants