在运行 Gnome v3.28.1 的 Ubuntu 18.04 中，我想要最大化的窗口高度低于屏幕顶部 40px，填充剩余空间。
我曾尝试使用xdotool windowmove将窗口定位在顶部下方 40px 处，但对于尺寸不正确的窗口，此方法会失败。xdotool windowresize对于最大化的窗口，使用 不起作用，即使使用 删除其最大化属性wmctrl，对于具有分步调整大小的窗口（例如 Gnome Terminal），它仍会出现问题。
有没有办法改变最大化窗口的高度，或者在每个窗口上方添加一些边距？
进一步研究：
我在 Gnome 文档中发现了一些看起来很有希望的东西，但不确定在哪里或如何使用它来指定最大高度。有什么帮助吗？
https://developer.gnome.org/gtk3/unstable/GtkWindow.html#gtk-window-set-geometry-hints