<div dir="ltr">smartBorders seems close enough to what I need.</div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Sun, Jan 14, 2024 at 12:15 PM Tomas Janousek <<a href="mailto:tomi@nomi.cz">tomi@nomi.cz</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><u></u>









<div>
<p style="padding:0px 0.5em">Brandon,</p>
<p style="padding:0px 0.5em;font-size:80%">On Sat, Jan 13, 2024 at 04:16:01PM -0500, Brandon Allbery
wrote:</p>
<blockquote style="padding:0px 0.5em;margin:0px;font-style:italic;border-left:2px solid rgb(102,102,102);color:rgb(102,102,102);font-size:80%">
<p style="padding:0px 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:0px 0.5em">It's been in for a while:<br>
<a href="https://xmonad.github.io/xmonad-docs/xmonad-contrib-0.17.1.9/XMonad-Hooks-EwmhDesktops.html#v:setEwmhFullscreenHooks" target="_blank">https://xmonad.github.io/xmonad-docs/xmonad-contrib-0.17.1.9/XMonad-Hooks-EwmhDesktops.html#v:setEwmhFullscreenHooks</a></p>
<p style="padding:0px 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 style="color:rgb(153,153,153);font-family:monospace;white-space:pre-wrap;margin:1em 0px 0px;font-size:80%"><span>-- </span><br>
<pre style="line-height:125%;padding:0px 1em"><code style="white-space:pre-wrap">Tomáš "liskin" ("Pivník") Janoušek, <a href="https://lisk.in/" target="_blank">https://lisk.in/</a>  
</code></pre>
</div>
</div>


</blockquote></div><br clear="all"><div><br></div><span class="gmail_signature_prefix">-- </span><br><div dir="ltr" class="gmail_signature"><div dir="ltr"><font face="'courier new', monospace"><b>Eyal Erez <</b><a href="mailto:oneself@gmail.com" target="_blank"><b>oneself@gmail.com</b></a><b>></b><br><br></font><div><div><font face="'courier new', monospace">There are 10 types of people, those who know binary and those who don't.</font></div></div><div><font face="'courier new', monospace"><br></font></div></div></div>