ghc-xmonad-contrib/xmonad-contrib-0.11.2-xfce4-terminal.patch
Jens Petersen 87db3385fa XFCE Terminal is now called xfce4-terminal (#1034353)
Reported by Scott Stevenson: since 0.6.0 Terminal was renamed
to xfce4-terminal (F19 shipped with 0.6.2)
2013-11-26 13:22:25 +09:00

12 lines
474 B
Diff

--- xmonad-contrib-0.11.2/XMonad/Config/Xfce.hs~ 2013-07-16 11:52:10.000000000 +0900
+++ xmonad-contrib-0.11.2/XMonad/Config/Xfce.hs 2013-11-26 13:16:20.023315724 +0900
@@ -35,7 +35,7 @@
-- For examples of how to further customize @xfceConfig@ see "XMonad.Config.Desktop".
xfceConfig = desktopConfig
- { terminal = "Terminal"
+ { terminal = "xfce4-terminal"
, keys = xfceKeys <+> keys desktopConfig }
xfceKeys (XConfig {modMask = modm}) = M.fromList $