Hello,
In GNOME 3.32 _GTK_HIDE_TITLEBAR_WHEN_MAXIMIZED is gone: https://gitlab.gnome.org/GNOME/mutter/merge_requests/221
They say that extensions should use _MOTIF_WM_HINTS instead.
Could you update this nice extension to use that instead?
Thank you.
Hello,
In GNOME 3.32
_GTK_HIDE_TITLEBAR_WHEN_MAXIMIZEDis gone: https://gitlab.gnome.org/GNOME/mutter/merge_requests/221They say that extensions should use _MOTIF_WM_HINTS instead.
Could you update this nice extension to use that instead?
Thank you.