Brandon,

On Sat, Jan 13, 2024 at 04:16:01PM -0500, Brandon Allbery wrote:

There's a rework of EwmhDesktops somewhere that would let you register a handler for _NET_WM_STATE_FULLSCREEN to toggle the border, but no ETA for it to land,

It's been in for a while:
https://xmonad.github.io/xmonad-docs/xmonad-contrib-0.17.1.9/XMonad-Hooks-EwmhDesktops.html#v:setEwmhFullscreenHooks

But for Eyal's usecase smartBorders is a better solution I believe. But yeah, in theory you could use those hooks to explicitly toggle borders of windows being (un)fullscreened.

--

Tomáš "liskin" ("Pivník") Janoušek, https://lisk.in/