Je utilise xmonad et dmenu et par défaut la combinaison modMask-p lance dmenu. Cependant, la police est trop petite pour moi, et je ne peux pas trouver comment la changer. Je peux exécuter dmenu_run -fn "-misc-fixed-*-*-*-*-15-*-*-*-*-*-*-*" depuis la ligne de commande et dmenu apparaît avec une police plus grande, mais quand je vais dans mon fichier xmonad.hs et que je fais un
defaultConfig { ...stuff...} `additionalKeys` [((mod4Mask, xK_p), spawn "dmenu_run -fn \"-misc-fixed-*-*-*-*-15-*-*-*-*-*-*-*\"")]et ensuite xmonad --recompile rien ne semble changer et aucun message d'erreur n'apparaît.
Apprécie vos conseils.
