<!DOCTYPE html>
<html lang="" xml:lang="" xmlns="http://www.w3.org/1999/xhtml">
<head>
<meta charset="utf-8"/>
<meta content="pandoc" name="generator"/>
<meta content="width=device-width, initial-scale=1.0, user-scalable=yes" name="viewport"/>
<title>-</title>
</head>
<body>
<p style="padding: 0 0.5em">Brandon,</p>
<p class="quotelead" style="padding: 0 0.5em; margin-bottom: -1em; font-size: 80%">On Sat, Jan 13, 2024 at 04:16:01PM -0500, Brandon Allbery
wrote:</p>
<blockquote class="quote initial" style="padding: 0 0.5em; margin: 0; font-style: italic; border-left: 2px solid #666; color: #666; font-size: 80%">
<p style="padding: 0 0.5em">There's a rework of EwmhDesktops somewhere that would
let you register a handler for <code style="white-space: pre-wrap">_NET_WM_STATE_FULLSCREEN</code> to
toggle the border, but no ETA for it to land,</p>
</blockquote>
<p style="padding: 0 0.5em">It's been in for a while:<br/>
<a class="uri" href="https://xmonad.github.io/xmonad-docs/xmonad-contrib-0.17.1.9/XMonad-Hooks-EwmhDesktops.html#v:setEwmhFullscreenHooks">https://xmonad.github.io/xmonad-docs/xmonad-contrib-0.17.1.9/XMonad-Hooks-EwmhDesktops.html#v:setEwmhFullscreenHooks</a></p>
<p style="padding: 0 0.5em">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.</p>
<div class="signature" style="color: #999; font-family: monospace; white-space: pre; margin: 1em 0 0 0; font-size: 80%"><span class="leader">-- </span><br/>
<pre style="line-height: 125%; padding: 0 1em"><code style="white-space: pre-wrap">Tomáš "liskin" ("Pivník") Janoušek, https://lisk.in/
</code></pre>
</div>
</body>
</html>