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 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.)

Hi Tony, On Thu, 25 Aug 2022 13:07:23 +0200 Tony Zorman 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!

On Thu, 25 Aug 2022 14:29:04 +0200 Jacek Generowicz 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:XCon...

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`.)