From haskell.org-lists at my-post-office.net  Thu Aug 25 07:53:32 2022
From: haskell.org-lists at my-post-office.net (Jacek Generowicz)
Date: Thu, 25 Aug 2022 09:53:32 +0200
Subject: [xmonad] DynamicLog.defaultPP and Prompt.defaultXPConfig AWOL on Nix
Message-ID: <20220825095332.33f1d7f5@xenon>

Hello,

I've been a happy XMonad user for years, and it is both one of the most useful
and most stable pieces of software in my personal configuration.

After an upgrade to my NixOS/home-manager configuration, XMonad fails to
recompile with the following error message:

----------------------------------------------------------------------
xmonad --recompile
XMonad will use ghc to recompile, because neither "/home/jacg/.xmonad/build" nor "/home/jacg/.xmonad/stack.yaml" exists.
XMonad recompiling (forced).
Errors detected while compiling xmonad config: /home/jacg/.xmonad/xmonad.hs
$ /nix/store/g4bjasmlq3v3dxryd02abpkr4mg7y1d5-ghc-9.0.2-with-packages/bin/ghc --make xmonad.hs -i -ilib -fforce-recomp -main-is main -v0 -outputdir /home/jacg/.xmonad/build-x86_64-linux -o /home/jacg/.xmonad/xmonad-x86_64-linux

xmonad.hs:84:34: error:
    Module ‘XMonad.Hooks.DynamicLog’ does not export ‘defaultPP’
   |
84 | import XMonad.Hooks.DynamicLog ( defaultPP
   |                                  ^^^^^^^^^

xmonad.hs:133:37: error:
    Module ‘XMonad.Prompt’ does not export ‘defaultXPConfig’
    |
133 | import XMonad.Prompt (autoComplete, defaultXPConfig)
    |                                     ^^^^^^^^^^^^^^^

Please check the file for errors.
----------------------------------------------------------------------

Its exceptional stability has made me not have to configure or think about
XMonad for aeons: it's simply an extension of my fingers.

Consequently this error is leaving me completely stumped.

Can you give me any hints on how to resolve this problem?

From soliditsallgood at mailbox.org  Thu Aug 25 08:04:06 2022
From: soliditsallgood at mailbox.org (Tony Zorman)
Date: Thu, 25 Aug 2022 10:04:06 +0200
Subject: [xmonad] DynamicLog.defaultPP and Prompt.defaultXPConfig AWOL
 on Nix
In-Reply-To: <20220825095332.33f1d7f5@xenon>
References: <20220825095332.33f1d7f5@xenon>
Message-ID: <87wnaw21hl.fsf@hyperspace>

Hi Jacek,

On Thu, Aug 25 2022 09:53, Jacek Generowicz wrote:
> Can you give me any hints on how to resolve this problem?

version 0.17.0 has removed all of these `default…` functions and
replaced them with a "generic" `def`.  Simply remove `defaultPP` and
`defaultXPConfig` from your list of imports and, in your config, replace
them with `def`.

  Tony

-- 
Tony Zorman | https://tony-zorman.com/

From haskell.org-lists at my-post-office.net  Thu Aug 25 08:26:11 2022
From: haskell.org-lists at my-post-office.net (Jacek Generowicz)
Date: Thu, 25 Aug 2022 10:26:11 +0200
Subject: [xmonad] DynamicLog.defaultPP and Prompt.defaultXPConfig AWOL
 on Nix
In-Reply-To: <87wnaw21hl.fsf@hyperspace>
References: <20220825095332.33f1d7f5@xenon>
	<87wnaw21hl.fsf@hyperspace>
Message-ID: <20220825102611.0266f7f6@xenon>

Hi Tony,

On Thu, 25 Aug 2022 10:04:06 +0200
Tony Zorman <soliditsallgood at mailbox.org> wrote:

> version 0.17.0 has removed all of these `default…` functions and
> replaced them with a "generic" `def`.  Simply remove `defaultPP` and
> `defaultXPConfig` from your list of imports and, in your config,
> replace them with `def`.

Perfect. Does the trick.

Many thanks!

From haskell.org-lists at my-post-office.net  Thu Aug 25 09:40:29 2022
From: haskell.org-lists at my-post-office.net (Jacek Generowicz)
Date: Thu, 25 Aug 2022 11:40:29 +0200
Subject: [xmonad] Workspace selector font size
Message-ID: <20220825114029.6dc744a7@xenon>

Hi,

[ My xmonad config is *extremely* idiosyncratic, and I haven't touched it for
  literally years. So I'm struggling to track down the documentation which might
  be relevant to my problem: I don't remember the XMonad ecosystem terminology,
  and my configuration looks nothing like the standard ones. All this to say
  that the way I choose to state my question might sound a bit odd. I hope it
  makes sense. ]

My workspase switching key opens a grey bar at the bottom of the screen. Since
switching to 0.17, the fonts on this have become enormous and the virtual screen
names (of which I have many) don't fit in the bar any more.

Can you give me any pointers on where this font (or the appearance of this bar
in general) might be configured?

From info at mito-space.com  Thu Aug 25 10:28:31 2022
From: info at mito-space.com (Michael Topp)
Date: Thu, 25 Aug 2022 12:28:31 +0200
Subject: [xmonad] Workspace selector font size
In-Reply-To: <20220825114029.6dc744a7@xenon>
References: <20220825114029.6dc744a7@xenon>
Message-ID: <9bcf5f27-dfb6-6622-48ee-ec53976f86ca@mito-space.com>

Hi Jacek,

 > My workspase switching key opens a grey bar

what bar, XMobar?
Then it (or any other bar) might have it's own (external) config.

Further you can look for a "PP"/pretty printer section in your 
xmonad.hs, as well as for any font definitiions.

Also the issue depends on the font you use(d). Do you still have it 
installed, and is it addressed correctly? Further you could figure out 
if the font config uses point or pixels for the size, and Xft for rendering.

HTH


Am 25.08.22 um 11:40 schrieb Jacek Generowicz:
> Hi,
>
> [ My xmonad config is *extremely* idiosyncratic, and I haven't touched it for
>    literally years. So I'm struggling to track down the documentation which might
>    be relevant to my problem: I don't remember the XMonad ecosystem terminology,
>    and my configuration looks nothing like the standard ones. All this to say
>    that the way I choose to state my question might sound a bit odd. I hope it
>    makes sense. ]
>
> My workspase switching key opens a grey bar at the bottom of the screen. Since
> switching to 0.17, the fonts on this have become enormous and the virtual screen
> names (of which I have many) don't fit in the bar any more.
>
> Can you give me any pointers on where this font (or the appearance of this bar
> in general) might be configured?
> _______________________________________________
> xmonad mailing list
> xmonad at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/xmonad


From haskell.org-lists at my-post-office.net  Thu Aug 25 10:54:04 2022
From: haskell.org-lists at my-post-office.net (Jacek Generowicz)
Date: Thu, 25 Aug 2022 12:54:04 +0200
Subject: [xmonad] Workspace selector font size
In-Reply-To: <9bcf5f27-dfb6-6622-48ee-ec53976f86ca@mito-space.com>
References: <20220825114029.6dc744a7@xenon>
 <9bcf5f27-dfb6-6622-48ee-ec53976f86ca@mito-space.com>
Message-ID: <20220825125404.2d9f3593@xenon>

Hi Michael,

On Thu, 25 Aug 2022 12:28:31 +0200
Michael Topp <info at mito-space.com> wrote:

>> My workspase switching key opens a grey bar
> 
> what bar, XMobar?

I don't know.

I do explicitly launch an xmobar (also a dzen2) in my config, but this isn't
either of these. This is whatever appears when I press keys bound to

XMonad.Actions.DynamicWorkspaces (selectWorkspace, withWorkspace, renameWorkspace, removeWorkspace)

and I haven't managed to discover what that is.

Hmm, maybe something out of XMonad.Prompt?

> Then it (or any other bar) might have it's own (external) config.

Yes, I have a config file for my xmobar, and I configure the dzen2 with argumens
when I launch it, and ...

> Further you can look for a "PP"/pretty printer section in your 
> xmonad.hs, as well as for any font definitiions.

... I also have a `myDzenPP`

But this is something else.

> Also the issue depends on the font you use(d). Do you still have it 
> installed, and is it addressed correctly? Further you could figure
> out if the font config uses point or pixels for the size, and Xft for
> rendering.

I'm hopelessy clueless about where fonts come from on my system or how they are
configured, found, etc.

(Also, I'm on NixOS, so it's bound to be done somewhat differently from the
usual way of doing things.)

From soliditsallgood at mailbox.org  Thu Aug 25 11:07:23 2022
From: soliditsallgood at mailbox.org (Tony Zorman)
Date: Thu, 25 Aug 2022 13:07:23 +0200
Subject: [xmonad] Workspace selector font size
In-Reply-To: <20220825114029.6dc744a7@xenon>
References: <20220825114029.6dc744a7@xenon>
Message-ID: <87pmgo1t04.fsf@hyperspace>

Hi Jacek,

On Thu, Aug 25 2022 11:40, Jacek Generowicz wrote:
> My workspase switching key opens a grey bar at the bottom of the screen. Since
> switching to 0.17, the fonts on this have become enormous and the virtual screen
> names (of which I have many) don't fit in the bar any more.
>
> Can you give me any pointers on where this font (or the appearance of this bar
> in general) might be configured?

Sounds like you're using XMonad.Prompt to open a workspace switcher of
some sort (for example, the aptly named XMonad.Prompt.Workspace).
AFAICR, we switched the default font for prompts from bitmap-based fonts
to xft-based fonts, since some distributions do not ship the bitmap ones
with X11 anymore.

When you define your prompt you may have something along the lines of

    workspacePrompt def (windows . W.shift)

as a keybinding.  You have to simply override the `font` field of your
XPConfig to use bitmap fonts again:

    workspacePrompt def{ font = "-misc-fixed-*-*-*-*-12-*-*-*-*-*-*-*" } (windows . W.shift)

You may also have a `myXPConfig` or something, in which you can add the
`font = …` override as well.

  Tony

-- 
Tony Zorman | https://tony-zorman.com/

From info at mito-space.com  Thu Aug 25 11:27:49 2022
From: info at mito-space.com (Michael Topp)
Date: Thu, 25 Aug 2022 13:27:49 +0200
Subject: [xmonad] Workspace selector font size
In-Reply-To: <20220825125404.2d9f3593@xenon>
References: <20220825114029.6dc744a7@xenon>
 <9bcf5f27-dfb6-6622-48ee-ec53976f86ca@mito-space.com>
 <20220825125404.2d9f3593@xenon>
Message-ID: <27e43f1a-71eb-7382-57f6-84f186c92971@mito-space.com>

 > Hmm, maybe something out of XMonad.Prompt?

No, this is for explicitly launching programs.
But you are asking about displaying workspace numbers or names.


For my own bars (Xmobar), they have their own external font configurations.

You should first get familiar on how to access fonts on your OS anyway. 
Then, which you got installed at all. And then take one of them and try 
to access it, and later to change it with your bar's (external) config.

Currently your desktop seems to display a 'dummy font', or if the font 
is correct, the wrong size or rendering.


However, I can give you an example of an "inline" font definition in my 
xmonad.hs. It is for the prompt:

myPromptFont = "xft:Ubuntu Nerd Font:style=Book:size=12:antialias=false"


Regards


Am 25.08.22 um 12:54 schrieb Jacek Generowicz:
> Hi Michael,
>
> On Thu, 25 Aug 2022 12:28:31 +0200
> Michael Topp <info at mito-space.com> wrote:
>
>>> My workspase switching key opens a grey bar
>> what bar, XMobar?
> I don't know.
>
> I do explicitly launch an xmobar (also a dzen2) in my config, but this isn't
> either of these. This is whatever appears when I press keys bound to
>
> XMonad.Actions.DynamicWorkspaces (selectWorkspace, withWorkspace, renameWorkspace, removeWorkspace)
>
> and I haven't managed to discover what that is.
>
> Hmm, maybe something out of XMonad.Prompt?
>
>> Then it (or any other bar) might have it's own (external) config.
> Yes, I have a config file for my xmobar, and I configure the dzen2 with argumens
> when I launch it, and ...
>
>> Further you can look for a "PP"/pretty printer section in your
>> xmonad.hs, as well as for any font definitiions.
> ... I also have a `myDzenPP`
>
> But this is something else.
>
>> Also the issue depends on the font you use(d). Do you still have it
>> installed, and is it addressed correctly? Further you could figure
>> out if the font config uses point or pixels for the size, and Xft for
>> rendering.
> I'm hopelessy clueless about where fonts come from on my system or how they are
> configured, found, etc.
>
> (Also, I'm on NixOS, so it's bound to be done somewhat differently from the
> usual way of doing things.)
>


From haskell.org-lists at my-post-office.net  Thu Aug 25 12:07:04 2022
From: haskell.org-lists at my-post-office.net (Jacek Generowicz)
Date: Thu, 25 Aug 2022 14:07:04 +0200
Subject: [xmonad] Workspace selector font size
In-Reply-To: <87pmgo1t04.fsf@hyperspace>
References: <20220825114029.6dc744a7@xenon>
	<87pmgo1t04.fsf@hyperspace>
Message-ID: <20220825140704.664f8f4d@xenon>

Hi Tony,

On Thu, 25 Aug 2022 13:07:23 +0200
Tony Zorman <soliditsallgood at mailbox.org> wrote:

> Sounds like you're using XMonad.Prompt to open a workspace switcher of
> some sort (for example, the aptly named XMonad.Prompt.Workspace).

I did find this in my config file:

  import XMonad.Prompt.Workspace (workspacePrompt)

but after commenting it out, it still compiles, so it looks like I'm not using
it.

> [...] You have to simply override the `font` field of your
> XPConfig to use bitmap fonts again:
> 
>     workspacePrompt def{ font = "-misc-fixed-*-*-*-*-12-*-*-*-*-*-*-*" } (windows . W.shift)
> 
> You may also have a `myXPConfig` or something, in which you can add
> the `font = …` override as well.

I do have a `myXPConfig def { ... }` Placing the font override there does indeed
affect the font in the relevant bar. Now I just need to find a decent font to
use there.

Many thanks!

From haskell.org-lists at my-post-office.net  Thu Aug 25 12:29:04 2022
From: haskell.org-lists at my-post-office.net (Jacek Generowicz)
Date: Thu, 25 Aug 2022 14:29:04 +0200
Subject: [xmonad] Workspace selector font size
In-Reply-To: <20220825140704.664f8f4d@xenon>
References: <20220825114029.6dc744a7@xenon> <87pmgo1t04.fsf@hyperspace>
 <20220825140704.664f8f4d@xenon>
Message-ID: <20220825142904.265796a6@xenon>

>> You may also have a `myXPConfig` or something, in which you can add
>> the `font = …` override as well.

Where can I find documentation describing what else can be overridden
here?

`def` isn't the most searchable name, and it seems to apply to many
different situations. The docs seem suggest

> To see what fields can be customized beyond the ones in the example above, the
> definition of the XConfig data structure can be found in XMonad.Core.

that it's here:

  https://xmonad.github.io/xmonad-docs/xmonad-0.17.0.9/XMonad-Core.html#v:XConfig

where there is no mention of `font`.

From haskell.org-lists at my-post-office.net  Thu Aug 25 12:43:48 2022
From: haskell.org-lists at my-post-office.net (Jacek Generowicz)
Date: Thu, 25 Aug 2022 14:43:48 +0200
Subject: [xmonad] Workspace selector font size
In-Reply-To: <20220825142904.265796a6@xenon>
References: <20220825114029.6dc744a7@xenon> <87pmgo1t04.fsf@hyperspace>
 <20220825140704.664f8f4d@xenon> <20220825142904.265796a6@xenon>
Message-ID: <20220825144348.36bd6106@xenon>

On Thu, 25 Aug 2022 14:29:04 +0200
Jacek Generowicz <haskell.org-lists at my-post-office.net> wrote:

> >> You may also have a `myXPConfig` or something, in which you can add
> >> the `font = …` override as well.  
> 
> Where can I find documentation describing what else can be overridden
> here?
> 
> `def` isn't the most searchable name, and it seems to apply to many
> different situations. The docs seem suggest
> 
> > To see what fields can be customized beyond the ones in the example
> > above, the definition of the XConfig data structure can be found in
> > XMonad.Core.  
> 
> that it's here:
> 
>   https://xmonad.github.io/xmonad-docs/xmonad-0.17.0.9/XMonad-Core.html#v:XConfig
> 
> where there is no mention of `font`.

Ah, the coin has dropped: `def` refers to Haskell's `Default` class! (So what
can be overridden depends entirely on the context which determines the actual
type of the `def`.)

From allbery.b at gmail.com  Thu Aug 25 12:44:30 2022
From: allbery.b at gmail.com (Brandon Allbery)
Date: Thu, 25 Aug 2022 08:44:30 -0400
Subject: [xmonad] Workspace selector font size
In-Reply-To: <20220825142904.265796a6@xenon>
References: <20220825114029.6dc744a7@xenon> <87pmgo1t04.fsf@hyperspace>
 <20220825140704.664f8f4d@xenon> <20220825142904.265796a6@xenon>
Message-ID: <CAKFCL4VXWS3NPV_fF+fqKskcR1RmZA2Cu5MO9spPZRB9rKCRcQ@mail.gmail.com>

This is XPConfig, not XConfig. It's documented here:
https://hackage.haskell.org/package/xmonad-contrib-0.17.0/docs/XMonad-Prompt.html#t:XPConfig

On Thu, Aug 25, 2022 at 8:29 AM Jacek Generowicz
<haskell.org-lists at my-post-office.net> wrote:
>
> >> You may also have a `myXPConfig` or something, in which you can add
> >> the `font = …` override as well.
>
> Where can I find documentation describing what else can be overridden
> here?
>
> `def` isn't the most searchable name, and it seems to apply to many
> different situations. The docs seem suggest
>
> > To see what fields can be customized beyond the ones in the example above, the
> > definition of the XConfig data structure can be found in XMonad.Core.
>
> that it's here:
>
>   https://xmonad.github.io/xmonad-docs/xmonad-0.17.0.9/XMonad-Core.html#v:XConfig
>
> where there is no mention of `font`.
> _______________________________________________
> xmonad mailing list
> xmonad at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/xmonad



-- 
brandon s allbery kf8nh
allbery.b at gmail.com