Adjust window border width
parent
d37404af0c
commit
f2dcf1e0e5
|
@ -118,7 +118,7 @@ myConfig =
|
||||||
-- Styling
|
-- Styling
|
||||||
focusedBorderColor = "#000",
|
focusedBorderColor = "#000",
|
||||||
normalBorderColor = "#0000",
|
normalBorderColor = "#0000",
|
||||||
borderWidth = 2,
|
borderWidth = 4,
|
||||||
-- Hooks
|
-- Hooks
|
||||||
manageHook = myManageHook <+> manageHook def,
|
manageHook = myManageHook <+> manageHook def,
|
||||||
layoutHook = avoidStruts myLayoutHook,
|
layoutHook = avoidStruts myLayoutHook,
|
||||||
|
|
Loading…
Reference in New Issue