xmonad 0.18.0 → 0.18.1

raw patch · 11 files changed

+465/−108 lines, 11 filesdep ~basePVP: major bump suggested

API removals or changes: PVP suggests a major version bump

Dependency ranges changed: base

API changes (from Hackage documentation)

Files

• CHANGES.md +23/−1
• INSTALL.md +1/−1
• TUTORIAL.md +15/−10
• man/xmonad.1 +21/−7
• man/xmonad.1.html +308/−68
• src/XMonad/Core.hs +71/−7
• src/XMonad/Main.hs +3/−6
• src/XMonad/ManageHook.hs +5/−2
• src/XMonad/StackSet.hs +1/−1
• tests/Properties/Shift.hs +1/−1
• xmonad.cabal +16/−4

@@ -1,5 +1,27 @@ # Change Log / Release Notes +## 0.18.1 (March 7, 2026)++### Breaking Changes++ * Use `cabal` for `--recompile` if there is a `.cabal` file in the config+   directory and none of `build`, `stack.yaml`, `flake.nix`, nor `default.nix`+   exist.++### Enhancements++### Bug Fixes++### Other++PR #404 (see last change in 0.17.1) has been reverted, because the affected+compilers are (hopefully) no longer being used.++All 9.0 releases of GHC, plus 9.2.1 and 9.2.2 have the join point bug.+Note that 9.0.x is known to also have GC issues and is officially deprecated,+and the only 9.2 release that should be used is 9.2.8. Additionally, GHC HQ+doesn't support releases before 9.6.6.+ ## 0.18.0 (February 3, 2024)  ### Breaking Changes@@ -203,7 +225,7 @@    * Compiles with GHC 8.4.1 -  * Restored compatability with GHC version prior to 8.0.1 by removing the+  * Restored compatibility with GHC version prior to 8.0.1 by removing the     dependency on directory version 1.2.3.  

@@ -262,7 +262,7 @@  This will create a GHC environment in `~/.config/xmonad` so that the libraries are available for recompilation of the config file, and also install the-xmonad binary to `~/.cabal/bin/xmonad`.  Make sure you have that directory in+xmonad binary to `~/.local/bin/xmonad`.  Make sure you have that directory in your `$PATH`!  If you're getting build failures while building the `X11` package it may

@@ -38,13 +38,13 @@ Haskell dependency is updated—else xmonad may fail to start when you want to log in! -We're going to assume xmonad version `0.17.0` and xmonad-contrib version-`0.17.0` here, though most of these steps should work with older-versions as well.  When we get to the relevant parts, will point you to-alternatives that work with at least xmonad version `0.15` and-xmonad-contrib version `0.16`.  This will usually be accompanied by a-big "_IF YOU ARE ON A VERSION `< 0.17.0`_", so don't worry about missing-it!+We're going to assume xmonad version `>= 0.17.0` and xmonad-contrib+version `>= 0.17.0` here, though most of these steps should work with+older versions as well. When we get to the relevant parts, will point+you to alternatives that work with at least xmonad version `0.15` and+xmonad-contrib version `0.16`. This will usually be accompanied by big+warning labels for the respective version bounds, so don't worry about+missing it!  Throughout the tutorial we will use, for keybindings, a syntax very akin to the [GNU Emacs conventions] for the same thing—so `C-x` means "hold@@ -113,6 +113,8 @@ import XMonad  import XMonad.Util.EZConfig+-- NOTE: Only needed for versions < 0.18.0! For 0.18.0 and up, this is+-- already included in the XMonad import and will give you a warning! import XMonad.Util.Ungrab ``` @@ -557,7 +559,7 @@  _IF YOU ARE ON A VERSION `< 0.17.0`_: As discussed above, the `xmobar`   function uses pipes, so you actually do want to use the `StdinReader`.-  Simply replace _all_ occurences of `XMonadLog` with `StdinReader`+  Simply replace _all_ occurrences of `XMonadLog` with `StdinReader`   below (don't forget the template!)  ---@@ -625,7 +627,7 @@ a volume indicator, and of course the data from xmonad via `XMonadLog`.  The `EGPF` in the weather command is a particular station.  Replace both-(!) occurences of it with your choice of ICAO weather stations.  For a+(!) occurrences of it with your choice of ICAO weather stations.  For a list of ICAO codes you can visit the relevant [Wikipedia page].  You can of course monitor more than one if you like; see xmobar's [weather monitor] documentation for further details.@@ -838,7 +840,7 @@ show the focused window twice and so we suppress it here by ignoring the third argument of `ppOrder` and not returning it.  The functions `formatFocused` and `formatUnfocused` should be relatively self-explanitory—they decide how to format the focused resp. unfocused+explanatory—they decide how to format the focused resp. unfocused windows.  By the way, the `\ ... ->` syntax in there is Haskell's way to express a@@ -1066,6 +1068,9 @@  import XMonad.Util.EZConfig import XMonad.Util.Loggers+-- NOTE: Importing XMonad.Util.Ungrab is only necessary for versions+-- < 0.18.0! For 0.18.0 and up, this is already included in the+-- XMonad import and will generate a warning instead! import XMonad.Util.Ungrab  import XMonad.Layout.Magnifier

@@ -1,5 +1,19 @@-.\" Automatically generated by Pandoc 2.9.2.1+.\" Automatically generated by Pandoc 3.1.3 .\"+.\" Define V font for inline verbatim, using C font in formats+.\" that render this, and otherwise B font.+.ie "\f[CB]x\f[]"x" \{\+. ftr V B+. ftr VI BI+. ftr VB B+. ftr VBI BI+.\}+.el \{\+. ftr V CR+. ftr VI CI+. ftr VB CB+. ftr VBI CBI+.\} .TH "XMONAD" "1" "27 October 2021" "Tiling Window Manager" "" .hy .SH Name@@ -191,15 +205,15 @@ with mod-q. You can choose where your configuration file lives by .IP "1." 3-Setting \f[C]XMONAD_DATA_DIR,\f[R] \f[C]XMONAD_CONFIG_DIR\f[R], and-\f[C]XMONAD_CACHE_DIR\f[R]; \f[I]xmonad.hs\f[R] is then expected to be-in \f[C]XMONAD_CONFIG_DIR\f[R].+Setting \f[V]XMONAD_DATA_DIR,\f[R] \f[V]XMONAD_CONFIG_DIR\f[R], and+\f[V]XMONAD_CACHE_DIR\f[R]; \f[I]xmonad.hs\f[R] is then expected to be+in \f[V]XMONAD_CONFIG_DIR\f[R]. .IP "2." 3 Creating \f[I]xmonad.hs\f[R] in \f[I]\[ti]/.xmonad\f[R]. .IP "3." 3-Creating \f[I]xmonad.hs\f[R] in \f[C]XDG_CONFIG_HOME\f[R].-Note that, in this case, xmonad will use \f[C]XDG_DATA_HOME\f[R] and-\f[C]XDG_CACHE_HOME\f[R] for its data and cache directory respectively.+Creating \f[I]xmonad.hs\f[R] in \f[V]XDG_CONFIG_HOME\f[R].+Note that, in this case, xmonad will use \f[V]XDG_DATA_HOME\f[R] and+\f[V]XDG_CACHE_HOME\f[R] for its data and cache directory respectively. .PP You can find many extensions to the core feature set in the xmonad- contrib package, available through your package manager or from

@@ -8,15 +8,167 @@   <meta name="dcterms.date" content="2021-10-27" />   <title>XMONAD(1) Tiling Window Manager</title>   <style>+    html {+      color: #1a1a1a;+      background-color: #fdfdfd;+    }+    body {+      margin: 0 auto;+      max-width: 36em;+      padding-left: 50px;+      padding-right: 50px;+      padding-top: 50px;+      padding-bottom: 50px;+      hyphens: auto;+      overflow-wrap: break-word;+      text-rendering: optimizeLegibility;+      font-kerning: normal;+    }+    @media (max-width: 600px) {+      body {+        font-size: 0.9em;+        padding: 12px;+      }+      h1 {+        font-size: 1.8em;+      }+    }+    @media print {+      html {+        background-color: white;+      }+      body {+        background-color: transparent;+        color: black;+        font-size: 12pt;+      }+      p, h2, h3 {+        orphans: 3;+        widows: 3;+      }+      h2, h3, h4 {+        page-break-after: avoid;+      }+    }+    p {+      margin: 1em 0;+    }+    a {+      color: #1a1a1a;+    }+    a:visited {+      color: #1a1a1a;+    }+    img {+      max-width: 100%;+    }+    h1, h2, h3, h4, h5, h6 {+      margin-top: 1.4em;+    }+    h5, h6 {+      font-size: 1em;+      font-style: italic;+    }+    h6 {+      font-weight: normal;+    }+    ol, ul {+      padding-left: 1.7em;+      margin-top: 1em;+    }+    li > ol, li > ul {+      margin-top: 0;+    }+    blockquote {+      margin: 1em 0 1em 1.7em;+      padding-left: 1em;+      border-left: 2px solid #e6e6e6;+      color: #606060;+    }+    code {+      font-family: Menlo, Monaco, Consolas, 'Lucida Console', monospace;+      font-size: 85%;+      margin: 0;+      hyphens: manual;+    }+    pre {+      margin: 1em 0;+      overflow: auto;+    }+    pre code {+      padding: 0;+      overflow: visible;+      overflow-wrap: normal;+    }+    .sourceCode {+     background-color: transparent;+     overflow: visible;+    }+    hr {+      background-color: #1a1a1a;+      border: none;+      height: 1px;+      margin: 1em 0;+    }+    table {+      margin: 1em 0;+      border-collapse: collapse;+      width: 100%;+      overflow-x: auto;+      display: block;+      font-variant-numeric: lining-nums tabular-nums;+    }+    table caption {+      margin-bottom: 0.75em;+    }+    tbody {+      margin-top: 0.5em;+      border-top: 1px solid #1a1a1a;+      border-bottom: 1px solid #1a1a1a;+    }+    th {+      border-top: 1px solid #1a1a1a;+      padding: 0.25em 0.5em 0.25em 0.5em;+    }+    td {+      padding: 0.125em 0.5em 0.25em 0.5em;+    }+    header {+      margin-bottom: 4em;+      text-align: center;+    }+    #TOC li {+      list-style: none;+    }+    #TOC ul {+      padding-left: 1.3em;+    }+    #TOC > ul {+      padding-left: 0;+    }+    #TOC a:not(:hover) {+      text-decoration: none;+    }     code{white-space: pre-wrap;}     span.smallcaps{font-variant: small-caps;}-    span.underline{text-decoration: underline;}-    div.column{display: inline-block; vertical-align: top; width: 50%;}+    div.columns{display: flex; gap: min(4vw, 1.5em);}+    div.column{flex: auto; overflow-x: auto;}     div.hanging-indent{margin-left: 1.5em; text-indent: -1.5em;}-    ul.task-list{list-style: none;}+    /* The extra [class] is a hack that increases specificity enough to+       override a similar rule in reveal.js */+    ul.task-list[class]{list-style: none;}+    ul.task-list li input[type="checkbox"] {+      font-size: inherit;+      width: 0.8em;+      margin: 0 0.8em 0.2em -1.6em;+      vertical-align: middle;+    }+    .display.math{display: block; text-align: center; margin: 0.5rem auto;}+    /* CSS for syntax highlighting */     pre > code.sourceCode { white-space: pre; position: relative; }-    pre > code.sourceCode > span { display: inline-block; line-height: 1.25; }+    pre > code.sourceCode > span { line-height: 1.25; }     pre > code.sourceCode > span:empty { height: 1.2em; }+    .sourceCode { overflow: visible; }     code.sourceCode > span { color: inherit; text-decoration: inherit; }     div.sourceCode { margin: 1em 0; }     pre.sourceCode { margin: 0; }@@ -51,7 +203,7 @@     code span.an { color: #60a0b0; font-weight: bold; font-style: italic; } /* Annotation */     code span.at { color: #7d9029; } /* Attribute */     code span.bn { color: #40a070; } /* BaseN */-    code span.bu { } /* BuiltIn */+    code span.bu { color: #008000; } /* BuiltIn */     code span.cf { color: #007020; font-weight: bold; } /* ControlFlow */     code span.ch { color: #4070a0; } /* Char */     code span.cn { color: #880000; } /* Constant */@@ -64,7 +216,7 @@     code span.ex { } /* Extension */     code span.fl { color: #40a070; } /* Float */     code span.fu { color: #06287e; } /* Function */-    code span.im { } /* Import */+    code span.im { color: #008000; font-weight: bold; } /* Import */     code span.in { color: #60a0b0; font-weight: bold; font-style: italic; } /* Information */     code span.kw { color: #007020; font-weight: bold; } /* Keyword */     code span.op { color: #666666; } /* Operator */@@ -86,165 +238,253 @@ </header> <nav id="TOC" role="doc-toc"> <ul>-<li><a href="#name">Name</a></li>-<li><a href="#description">Description</a></li>-<li><a href="#usage">Usage</a>+<li><a href="#name" id="toc-name">Name</a></li>+<li><a href="#description" id="toc-description">Description</a></li>+<li><a href="#usage" id="toc-usage">Usage</a> <ul>-<li><a href="#flags">Flags</a></li>-<li><a href="#default-keyboard-bindings">Default keyboard bindings</a></li>+<li><a href="#flags" id="toc-flags">Flags</a></li>+<li><a href="#default-keyboard-bindings"+id="toc-default-keyboard-bindings">Default keyboard bindings</a></li> </ul></li>-<li><a href="#examples">Examples</a></li>-<li><a href="#customization">Customization</a>+<li><a href="#examples" id="toc-examples">Examples</a></li>+<li><a href="#customization" id="toc-customization">Customization</a> <ul>-<li><a href="#modular-configuration">Modular Configuration</a></li>+<li><a href="#modular-configuration"+id="toc-modular-configuration">Modular Configuration</a></li> </ul></li>-<li><a href="#bugs">Bugs</a></li>+<li><a href="#bugs" id="toc-bugs">Bugs</a></li> </ul> </nav> <h1 id="name">Name</h1> <p>xmonad - Tiling Window Manager</p> <h1 id="description">Description</h1>-<p><em>xmonad</em> is a minimalist tiling window manager for X, written in Haskell. Windows are managed using automatic layout algorithms, which can be dynamically reconfigured. At any time windows are arranged so as to maximize the use of screen real estate. All features of the window manager are accessible purely from the keyboard: a mouse is entirely optional. <em>xmonad</em> is configured in Haskell, and custom layout algorithms may be implemented by the user in config files. A principle of <em>xmonad</em> is predictability: the user should know in advance precisely the window arrangement that will result from any action.</p>-<p>By default, <em>xmonad</em> provides three layout algorithms: tall, wide and fullscreen. In tall or wide mode, windows are tiled and arranged to prevent overlap and maximize screen use. Sets of windows are grouped together on virtual screens, and each screen retains its own layout, which may be reconfigured dynamically. Multiple physical monitors are supported via Xinerama, allowing simultaneous display of a number of screens.</p>-<p>By utilizing the expressivity of a modern functional language with a rich static type system, <em>xmonad</em> provides a complete, featureful window manager in less than 1200 lines of code, with an emphasis on correctness and robustness. Internal properties of the window manager are checked using a combination of static guarantees provided by the type system, and type-based automated testing. A benefit of this is that the code is simple to understand, and easy to modify.</p>+<p><em>xmonad</em> is a minimalist tiling window manager for X, written+in Haskell. Windows are managed using automatic layout algorithms, which+can be dynamically reconfigured. At any time windows are arranged so as+to maximize the use of screen real estate. All features of the window+manager are accessible purely from the keyboard: a mouse is entirely+optional. <em>xmonad</em> is configured in Haskell, and custom layout+algorithms may be implemented by the user in config files. A principle+of <em>xmonad</em> is predictability: the user should know in advance+precisely the window arrangement that will result from any action.</p>+<p>By default, <em>xmonad</em> provides three layout algorithms: tall,+wide and fullscreen. In tall or wide mode, windows are tiled and+arranged to prevent overlap and maximize screen use. Sets of windows are+grouped together on virtual screens, and each screen retains its own+layout, which may be reconfigured dynamically. Multiple physical+monitors are supported via Xinerama, allowing simultaneous display of a+number of screens.</p>+<p>By utilizing the expressivity of a modern functional language with a+rich static type system, <em>xmonad</em> provides a complete, featureful+window manager in less than 1200 lines of code, with an emphasis on+correctness and robustness. Internal properties of the window manager+are checked using a combination of static guarantees provided by the+type system, and type-based automated testing. A benefit of this is that+the code is simple to understand, and easy to modify.</p> <h1 id="usage">Usage</h1>-<p><em>xmonad</em> places each window into a “workspace”. Each workspace can have any number of windows, which you can cycle though with mod-j and mod-k. Windows are either displayed full screen, tiled horizontally, or tiled vertically. You can toggle the layout mode with mod-space, which will cycle through the available modes.</p>-<p>You can switch to workspace N with mod-N. For example, to switch to workspace 5, you would press mod-5. Similarly, you can move the current window to another workspace with mod-shift-N.</p>-<p>When running with multiple monitors (Xinerama), each screen has exactly 1 workspace visible. mod-{w,e,r} switch the focus between screens, while shift-mod-{w,e,r} move the current window to that screen. When <em>xmonad</em> starts, workspace 1 is on screen 1, workspace 2 is on screen 2, etc. When switching workspaces to one that is already visible, the current and visible workspaces are swapped.</p>+<p><em>xmonad</em> places each window into a “workspace”. Each workspace+can have any number of windows, which you can cycle though with mod-j+and mod-k. Windows are either displayed full screen, tiled horizontally,+or tiled vertically. You can toggle the layout mode with mod-space,+which will cycle through the available modes.</p>+<p>You can switch to workspace N with mod-N. For example, to switch to+workspace 5, you would press mod-5. Similarly, you can move the current+window to another workspace with mod-shift-N.</p>+<p>When running with multiple monitors (Xinerama), each screen has+exactly 1 workspace visible. mod-{w,e,r} switch the focus between+screens, while shift-mod-{w,e,r} move the current window to that screen.+When <em>xmonad</em> starts, workspace 1 is on screen 1, workspace 2 is+on screen 2, etc. When switching workspaces to one that is already+visible, the current and visible workspaces are swapped.</p> <h2 id="flags">Flags</h2>-<p>xmonad has several flags which you may pass to the executable. These flags are:</p>+<p>xmonad has several flags which you may pass to the executable. These+flags are:</p> <dl> <dt>–recompile</dt>-<dd>Recompiles your <em>xmonad.hs</em> configuration+<dd>+Recompiles your <em>xmonad.hs</em> configuration </dd> <dt>–restart</dt>-<dd>Causes the currently running <em>xmonad</em> process to restart+<dd>+Causes the currently running <em>xmonad</em> process to restart </dd> <dt>–replace</dt>-<dd>Replace the current window manager with xmonad+<dd>+Replace the current window manager with xmonad </dd> <dt>–version</dt>-<dd>Display version of <em>xmonad</em>+<dd>+Display version of <em>xmonad</em> </dd> <dt>–verbose-version</dt>-<dd>Display detailed version of <em>xmonad</em>+<dd>+Display detailed version of <em>xmonad</em> </dd> </dl> <h2 id="default-keyboard-bindings">Default keyboard bindings</h2> <dl> <dt>mod-shift-return</dt>-<dd>Launch terminal+<dd>+Launch terminal </dd> <dt>mod-p</dt>-<dd>Launch dmenu+<dd>+Launch dmenu </dd> <dt>mod-shift-p</dt>-<dd>Launch gmrun+<dd>+Launch gmrun </dd> <dt>mod-shift-c</dt>-<dd>Close the focused window+<dd>+Close the focused window </dd> <dt>mod-space</dt>-<dd>Rotate through the available layout algorithms+<dd>+Rotate through the available layout algorithms </dd> <dt>mod-shift-space</dt>-<dd>Reset the layouts on the current workspace to default+<dd>+Reset the layouts on the current workspace to default </dd> <dt>mod-n</dt>-<dd>Resize viewed windows to the correct size+<dd>+Resize viewed windows to the correct size </dd> <dt>mod-tab</dt>-<dd>Move focus to the next window+<dd>+Move focus to the next window </dd> <dt>mod-shift-tab</dt>-<dd>Move focus to the previous window+<dd>+Move focus to the previous window </dd> <dt>mod-j</dt>-<dd>Move focus to the next window+<dd>+Move focus to the next window </dd> <dt>mod-k</dt>-<dd>Move focus to the previous window+<dd>+Move focus to the previous window </dd> <dt>mod-m</dt>-<dd>Move focus to the master window+<dd>+Move focus to the master window </dd> <dt>mod-return</dt>-<dd>Swap the focused window and the master window+<dd>+Swap the focused window and the master window </dd> <dt>mod-shift-j</dt>-<dd>Swap the focused window with the next window+<dd>+Swap the focused window with the next window </dd> <dt>mod-shift-k</dt>-<dd>Swap the focused window with the previous window+<dd>+Swap the focused window with the previous window </dd> <dt>mod-h</dt>-<dd>Shrink the master area+<dd>+Shrink the master area </dd> <dt>mod-l</dt>-<dd>Expand the master area+<dd>+Expand the master area </dd> <dt>mod-t</dt>-<dd>Push window back into tiling+<dd>+Push window back into tiling </dd> <dt>mod-comma</dt>-<dd>Increment the number of windows in the master area+<dd>+Increment the number of windows in the master area </dd> <dt>mod-period</dt>-<dd>Deincrement the number of windows in the master area+<dd>+Deincrement the number of windows in the master area </dd> <dt>mod-shift-q</dt>-<dd>Quit xmonad+<dd>+Quit xmonad </dd> <dt>mod-q</dt>-<dd>Restart xmonad+<dd>+Restart xmonad </dd> <dt>mod-shift-slash</dt>-<dd>Run xmessage with a summary of the default keybindings (useful for beginners)+<dd>+Run xmessage with a summary of the default keybindings (useful for+beginners) </dd> <dt>mod-question</dt>-<dd>Run xmessage with a summary of the default keybindings (useful for beginners)+<dd>+Run xmessage with a summary of the default keybindings (useful for+beginners) </dd> <dt>mod-[1..9]</dt>-<dd>Switch to workspace N+<dd>+Switch to workspace N </dd> <dt>mod-shift-[1..9]</dt>-<dd>Move client to workspace N+<dd>+Move client to workspace N </dd> <dt>mod-{w,e,r}</dt>-<dd>Switch to physical/Xinerama screens 1, 2, or 3+<dd>+Switch to physical/Xinerama screens 1, 2, or 3 </dd> <dt>mod-shift-{w,e,r}</dt>-<dd>Move client to screen 1, 2, or 3+<dd>+Move client to screen 1, 2, or 3 </dd> <dt>mod-button1</dt>-<dd>Set the window to floating mode and move by dragging+<dd>+Set the window to floating mode and move by dragging </dd> <dt>mod-button2</dt>-<dd>Raise the window to the top of the stack+<dd>+Raise the window to the top of the stack </dd> <dt>mod-button3</dt>-<dd>Set the window to floating mode and resize by dragging+<dd>+Set the window to floating mode and resize by dragging </dd> </dl> <h1 id="examples">Examples</h1>-<p>To use xmonad as your window manager add to your <em>~/.xinitrc</em> file:</p>+<p>To use xmonad as your window manager add to your <em>~/.xinitrc</em>+file:</p> <blockquote> <p>exec xmonad</p> </blockquote> <h1 id="customization">Customization</h1>-<p>xmonad is customized in your <em>xmonad.hs</em>, and then restarted with mod-q. You can choose where your configuration file lives by</p>+<p>xmonad is customized in your <em>xmonad.hs</em>, and then restarted+with mod-q. You can choose where your configuration file lives by</p> <ol type="1">-<li>Setting <code>XMONAD_DATA_DIR,</code> <code>XMONAD_CONFIG_DIR</code>, and <code>XMONAD_CACHE_DIR</code>; <em>xmonad.hs</em> is then expected to be in <code>XMONAD_CONFIG_DIR</code>.</li>+<li>Setting <code>XMONAD_DATA_DIR,</code>+<code>XMONAD_CONFIG_DIR</code>, and <code>XMONAD_CACHE_DIR</code>;+<em>xmonad.hs</em> is then expected to be in+<code>XMONAD_CONFIG_DIR</code>.</li> <li>Creating <em>xmonad.hs</em> in <em>~/.xmonad</em>.</li>-<li>Creating <em>xmonad.hs</em> in <code>XDG_CONFIG_HOME</code>. Note that, in this case, xmonad will use <code>XDG_DATA_HOME</code> and <code>XDG_CACHE_HOME</code> for its data and cache directory respectively.</li>+<li>Creating <em>xmonad.hs</em> in <code>XDG_CONFIG_HOME</code>. Note+that, in this case, xmonad will use <code>XDG_DATA_HOME</code> and+<code>XDG_CACHE_HOME</code> for its data and cache directory+respectively.</li> </ol>-<p>You can find many extensions to the core feature set in the xmonad- contrib package, available through your package manager or from <a href="https://xmonad.org">xmonad.org</a>.</p>+<p>You can find many extensions to the core feature set in the xmonad-+contrib package, available through your package manager or from <a+href="https://xmonad.org">xmonad.org</a>.</p> <h2 id="modular-configuration">Modular Configuration</h2>-<p>As of <em>xmonad-0.9</em>, any additional Haskell modules may be placed in <em>~/.xmonad/lib/</em> are available in GHC’s searchpath. Hierarchical modules are supported: for example, the file <em>~/.xmonad/lib/XMonad/Stack/MyAdditions.hs</em> could contain:</p>-<div class="sourceCode" id="cb1"><pre class="sourceCode haskell"><code class="sourceCode haskell"><span id="cb1-1"><a href="#cb1-1" aria-hidden="true"></a><span class="kw">module</span> <span class="dt">XMonad.Stack.MyAdditions</span> (function1) <span class="kw">where</span></span>-<span id="cb1-2"><a href="#cb1-2" aria-hidden="true"></a>  function1 <span class="ot">=</span> <span class="fu">error</span> <span class="st">&quot;function1: Not implemented yet!&quot;</span></span></code></pre></div>-<p>Your xmonad.hs may then import XMonad.Stack.MyAdditions as if that module was contained within xmonad or xmonad-contrib.</p>+<p>As of <em>xmonad-0.9</em>, any additional Haskell modules may be+placed in <em>~/.xmonad/lib/</em> are available in GHC’s searchpath.+Hierarchical modules are supported: for example, the file+<em>~/.xmonad/lib/XMonad/Stack/MyAdditions.hs</em> could contain:</p>+<div class="sourceCode" id="cb1"><pre+class="sourceCode haskell"><code class="sourceCode haskell"><span id="cb1-1"><a href="#cb1-1" aria-hidden="true" tabindex="-1"></a><span class="kw">module</span> <span class="dt">XMonad.Stack.MyAdditions</span> (function1) <span class="kw">where</span></span>+<span id="cb1-2"><a href="#cb1-2" aria-hidden="true" tabindex="-1"></a>  function1 <span class="ot">=</span> <span class="fu">error</span> <span class="st">&quot;function1: Not implemented yet!&quot;</span></span></code></pre></div>+<p>Your xmonad.hs may then import XMonad.Stack.MyAdditions as if that+module was contained within xmonad or xmonad-contrib.</p> <h1 id="bugs">Bugs</h1>-<p>Probably. If you find any, please report them to the <a href="https://github.com/xmonad/xmonad/issues">bugtracker</a></p>+<p>Probably. If you find any, please report them to the <a+href="https://github.com/xmonad/xmonad/issues">bugtracker</a></p> </body> </html>

@@ -8,6 +8,7 @@ {-# LANGUAGE NamedFieldPuns #-} {-# LANGUAGE ScopedTypeVariables #-} {-# LANGUAGE DerivingVia #-}+{-# LANGUAGE ViewPatterns #-}  ----------------------------------------------------------------------------- -- |@@ -50,6 +51,7 @@ import Control.Monad.State import Control.Monad.Reader import Control.Monad (filterM, guard, void, when)+import Data.Char (isSpace) import Data.Semigroup import Data.Traversable (for) import Data.Time.Clock (UTCTime)@@ -589,6 +591,7 @@ -- | Compilation method for xmonad configuration. data Compile   = CompileGhc+  | CompileCabal   | CompileStackGhc FilePath   | CompileNixFlake   | CompileNixDefault@@ -599,7 +602,7 @@ -- configuration directory. detectCompile :: Directories -> IO Compile detectCompile dirs =-  tryScript <|> tryStack <|> tryNixFlake <|> tryNixDefault <|> useGhc+  tryScript <|> tryStack <|> tryNixFlake <|> tryNixDefault <|> tryCabal <|> useGhc   where     buildScript = buildScriptFileName dirs     stackYaml = stackYamlFileName dirs@@ -636,6 +639,16 @@         trace $ "XMonad will use stack ghc --stack-yaml " <> show canonStackYaml <> " to recompile."         pure $ CompileStackGhc canonStackYaml +    tryCabal = let cwd = cfgDir dirs in listCabalFiles cwd >>= \ case+        [] -> do+            empty+        [name] -> do+            trace $ "XMonad will use " <> show name <> " to recompile."+            pure CompileCabal+        _ : _ : _ -> do+            trace $ "XMonad will not use cabal, because there are multiple cabal files in " <> show cwd <> "."+            empty+     useGhc = do         trace $ "XMonad will use ghc to recompile, because none of "                 <> intercalate ", "@@ -643,9 +656,20 @@                      , show stackYaml                      , show flakeNix                      , show defaultNix-                     ] <> " exist."+                     ] <> " nor a suitable .cabal file exist."         pure CompileGhc +listCabalFiles :: FilePath -> IO [FilePath]+listCabalFiles dir = map (dir </>) . Prelude.filter isCabalFile <$> listFiles dir++isCabalFile :: FilePath -> Bool+isCabalFile file = case splitExtension file of+    (name, ".cabal") -> not (null name)+    _ -> False++listFiles :: FilePath -> IO [FilePath]+listFiles dir = getDirectoryContents dir >>= filterM (doesFileExist . (dir </>))+ -- | Determine whether or not the file found at the provided filepath is executable. isExecutable :: FilePath -> IO Bool isExecutable f = E.catch (executable <$> getPermissions f) (\(SomeException _) -> return False)@@ -667,6 +691,7 @@         cs <- prep <$> E.catch (getDirectoryContents t) (\(SomeException _) -> return [])         ds <- filterM doesDirectoryExist cs         concat . ((cs \\ ds):) <$> mapM allFiles ds+shouldCompile _ CompileCabal = return True shouldCompile dirs CompileStackGhc{} = do     stackYamlT <- getModTime (stackYamlFileName dirs)     binT <- getModTime (binFileName dirs)@@ -686,11 +711,17 @@ compile dirs method =     bracket_ uninstallSignalHandlers installSignalHandlers $         withFile (errFileName dirs) WriteMode $ \err -> do-            let run = runProc (cfgDir dirs) err+            let run = runProc err             case method of                 CompileGhc -> do                     ghc <- fromMaybe "ghc" <$> lookupEnv "XMONAD_GHC"                     run ghc ghcArgs+                CompileCabal -> run "cabal" ["build"] .&&. copyBinary+                  where+                    copyBinary :: IO ExitCode+                    copyBinary = readProc err "cabal" ["-v0", "list-bin", "."] >>= \ case+                        Left status -> return status+                        Right (trim -> path) -> copyBinaryFrom path                 CompileStackGhc stackYaml ->                     run "stack" ["build", "--silent", "--stack-yaml", stackYaml] .&&.                     run "stack" ("ghc" : "--stack-yaml" : stackYaml : "--" : ghcArgs)@@ -701,6 +732,10 @@                 CompileScript script ->                     run script [binFileName dirs]   where+    cwd :: FilePath+    cwd = cfgDir dirs++    ghcArgs :: [String]     ghcArgs = [ "--make"               , "xmonad.hs"               , "-i" -- only look in @lib@@@ -711,26 +746,52 @@               , "-outputdir", buildDirName dirs               , "-o", binFileName dirs               ]++    andCopyFromResultDir :: ExitCode -> IO ExitCode     andCopyFromResultDir exitCode = do       if exitCode == ExitSuccess then copyFromResultDir else return exitCode++    findM :: (Monad m, Foldable t) => (a -> m Bool) -> t a -> m (Maybe a)     findM p = foldr (\x -> ifM (p x) (pure $ Just x)) (pure Nothing)+     catchAny :: IO a -> (SomeException -> IO a) -> IO a     catchAny = E.catch++    copyFromResultDir :: IO ExitCode     copyFromResultDir = do       let binaryDirectory = cfgDir dirs </> "result" </> "bin"       binFiles <- map (binaryDirectory </>) <$> catchAny (listDirectory binaryDirectory) (\_ -> return [])       mfilepath <- findM isExecutable binFiles       case mfilepath of-        Just filepath -> copyFile filepath (binFileName dirs) >> return ExitSuccess+        Just filepath -> copyBinaryFrom filepath         Nothing -> return $ ExitFailure 1 +    copyBinaryFrom :: FilePath -> IO ExitCode+    copyBinaryFrom filepath = copyFile filepath (binFileName dirs) >> return ExitSuccess+     -- waitForProcess =<< System.Process.runProcess, but without closing the err handle-    runProc cwd err exe args = do+    runProc :: Handle -> String -> [String] -> IO ExitCode+    runProc err exe args = do+        (Nothing, Nothing, Nothing, h) <- createProcess_ "runProc" =<< mkProc err exe args+        waitForProcess h++    readProc :: Handle -> String -> [String] -> IO (Either ExitCode String)+    readProc err exe args = do+        spec <- mkProc err exe args+        (Nothing, Just out, Nothing, h) <- createProcess_ "readProc" spec{ std_out = CreatePipe }+        result <- hGetContents out+        hPutStr err result >> hFlush err+        waitForProcess h >>= \ case+            ExitSuccess -> return $ Right result+            status -> return $ Left status++    mkProc :: Handle -> FilePath -> [FilePath] -> IO CreateProcess+    mkProc err exe args = do         hPutStrLn err $ unwords $ "$" : exe : args         hFlush err-        (_, _, _, h) <- createProcess_ "runProc" (proc exe args){ cwd = Just cwd, std_err = UseHandle err }-        waitForProcess h+        return (proc exe args){ cwd = Just cwd, std_err = UseHandle err } +    (.&&.) :: Monad m => m ExitCode -> m ExitCode -> m ExitCode     cmd1 .&&. cmd2 = cmd1 >>= \case         ExitSuccess -> cmd2         e -> pure e@@ -830,3 +891,6 @@     installHandler openEndedPipe Default Nothing     installHandler sigCHLD Default Nothing     return ()++trim :: String -> String+trim = reverse . dropWhile isSpace . reverse . dropWhile isSpace

@@ -26,7 +26,7 @@ import qualified Data.Set as S import Control.Monad.Reader import Control.Monad.State-import Control.Monad (filterM, guard, unless, void, when)+import Control.Monad (filterM, guard, unless, void, when, forever) import Data.Maybe (fromMaybe, isJust) import Data.Monoid (getAll) @@ -248,11 +248,10 @@             userCode $ startupHook initxmc              rrData <- io $ xrrQueryExtension dpy+            let rrUpdate = when (isJust rrData) . void . xrrUpdateConfiguration              -- main loop, for all you HOF/recursion fans out there.-            -- forever $ prehandle =<< io (nextEvent dpy e >> rrUpdate e >> getEvent e)-            -- sadly, 9.2.{1,2,3} join points mishandle the above and trash the heap (see #389)-            mainLoop dpy e rrData+            forever $ prehandle =<< io (nextEvent dpy e >> rrUpdate e >> getEvent e)      return ()       where@@ -263,8 +262,6 @@                       in local (\c -> c { mousePosition = mouse, currentEvent = Just e }) (handleWithHook e)         evs = [ keyPress, keyRelease, enterNotify, leaveNotify               , buttonPress, buttonRelease]-        rrUpdate e r = when (isJust r) (void (xrrUpdateConfiguration e))-        mainLoop d e r = io (nextEvent d e >> rrUpdate e r >> getEvent e) >>= prehandle >> mainLoop d e r   -- | Runs handleEventHook from the configuration and runs the default handler

@@ -64,7 +64,8 @@ (<||>) :: Monad m => m Bool -> m Bool -> m Bool x <||> y = ifM x (pure True) y --- | Return the window title.+-- | Return the window title; i.e., the string returned by @_NET_WM_NAME@,+-- or failing that, the string returned by @WM_NAME@. title :: Query String title = ask >>= \w -> liftX $ do     d <- asks display@@ -91,7 +92,9 @@ className = ask >>= (\w -> liftX $ withDisplay $ \d -> fmap resClass $ io $ getClassHint d w)  -- | A query that can return an arbitrary X property of type 'String',---   identified by name.+-- identified by name. Works for ASCII strings only. For the properties+-- @_NET_WM_NAME@/@WM_NAME@ and @WM_CLASS@ the specialised variants 'title'+-- and 'appName'/'className' are preferred. stringProperty :: String -> Query String stringProperty p = ask >>= (\w -> liftX $ withDisplay $ \d -> fromMaybe "" <$> getStringProperty d w p) 

@@ -216,7 +216,7 @@   = StackSet cur visi (map ws unseen) M.empty   where ws i = Workspace i l Nothing         (seen, unseen) = L.splitAt (length ms) wids-        cur:visi = Screen (ws wid) 0 m : [ Screen (ws i) s sd | (i, s, sd) <- zip3 seen [1..] ms ]+        cur:|visi = Screen (ws wid) 0 m :| [ Screen (ws i) s sd | (i, s, sd) <- zip3 seen [1..] ms ]                 -- now zip up visibles with their screen id new _ _ _ = abort "non-positive argument to StackSet.new" 

@@ -45,7 +45,7 @@       Nothing -> return True       Just w  -> return $ shiftWin n w x == shift n x --- shiftWin on a non-existant window is identity+-- shiftWin on a non-existent window is identity prop_shift_win_indentity (x :: T) = do     n <- arbitraryTag x     w <- arbitrary `suchThat` \w' -> not (w' `member` x)

@@ -1,5 +1,5 @@ name:               xmonad-version:            0.18.0+version:            0.18.1 synopsis:           A tiling window manager description:        xmonad is a tiling window manager for X. Windows are arranged                     automatically to tile the screen without gaps or overlap, maximising@@ -27,7 +27,7 @@                     Ondřej Súkup, Paul Hebble, Shachaf Ben-Kiki, Siim Põder, Tim McIver,                     Trevor Elliott, Wouter Swierstra, Conrad Irwin, Tim Thelion, Tony Zorman maintainer:         xmonad@haskell.org-tested-with:        GHC == 8.6.5 || == 8.8.4 || == 8.10.7 || == 9.0.2 || == 9.2.8 || == 9.4.8 || == 9.6.4 || == 9.8.1+tested-with:        GHC == 8.6.5 || == 8.8.4 || == 8.10.7 || == 9.0.2 || == 9.2.8 || == 9.4.8 || == 9.6.7 || == 9.8.4 || == 9.10.3 || == 9.12.2 || == 9.14.1 category:           System homepage:           http://xmonad.org bug-reports:        https://github.com/xmonad/xmonad/issues@@ -65,7 +65,7 @@                    XMonad.StackSet   other-modules:   Paths_xmonad   hs-source-dirs:  src-  build-depends:   base                  >= 4.11 && < 5+  build-depends:   base                  >= 4.12 && < 5                  , X11                   >= 1.10 && < 1.11                  , containers                  , data-default-class@@ -77,7 +77,9 @@                  , time                  , transformers          >= 0.3                  , unix-  ghc-options:     -funbox-strict-fields -Wall -Wno-unused-do-bind+  ghc-options:     -funbox-strict-fields -Wall -Wno-unused-do-bind -Wincomplete-patterns -Wincomplete-uni-patterns+  if impl(ghc > 8.8.4)+    ghc-options:   -Wunused-packages   default-language: Haskell2010    -- Keep this in sync with the oldest version in 'tested-with'@@ -86,6 +88,8 @@    if flag(pedantic)     ghc-options:   -Werror+    if impl(ghc >= 9.10)+       ghc-options: -Wno-incomplete-record-selectors  executable xmonad   main-is:       Main.hs@@ -99,6 +103,8 @@    if flag(pedantic)     ghc-options:   -Werror+    if impl(ghc >= 9.10)+       ghc-options: -Wno-incomplete-record-selectors  test-suite properties   type:           exitcode-stdio-1.0@@ -129,8 +135,14 @@                 , xmonad   default-language: Haskell2010 +  ghc-options:     -Wno-incomplete-patterns -Wno-incomplete-uni-patterns+  if impl(ghc > 8.8.4)+    ghc-options:   -Wno-unused-packages+   if impl(ghc > 9.8)     ghc-options:   -Wno-x-partial    if flag(pedantic)     ghc-options:   -Werror+    if impl(ghc >= 9.10)+       ghc-options: -Wno-incomplete-record-selectors