use Data.Default wherever possible, and deprecate the things it replaces

This commit is contained in:
Daniel Wagner
2013-05-28 01:39:09 +00:00
parent daa2731d3d
commit 0f1b6fb772
55 changed files with 362 additions and 320 deletions

View File

@@ -164,7 +164,7 @@ imageTitleBarButtonHandler mainw distFromLeft distFromRight = do
action
defaultThemeWithImageButtons :: Theme
defaultThemeWithImageButtons = defaultTheme {
defaultThemeWithImageButtons = def {
windowTitleIcons = [ (menuButton, CenterLeft 3),
(closeButton, CenterRight 3),
(maxiButton, CenterRight 18),