Account for the GNOME shell top panel when tiling windows about shell

[AAnzel]

I don't know how this is going to be implemented, but You should be cautious of various Gnome Extensions which purpose is to hide top panel, replace it with various docks or change its position (e.g. hide, ...).

[mmstick]

The goal isn't to hide or replace it.

[cassidyjames]

I think @AAnzel is saying you should ensure your tiling accounts for those extensions. It should be easy enough to just use the display's struts instead of caring about the size of the panel specifically.

[mmstick]

The shell's already taking care of this automatically when snapping windows to the display, so I don't think there's anything for us to do here.

[AAnzel]

Yes @cassidyjames, that's exactly what I had in mind.
@mmstick great! Just wanted to give a heads-up. Keep up the good work!