From 88d92149dd94133852d98f5d1848f8c2d41c19dd Mon Sep 17 00:00:00 2001 From: Martin Duquesnoy Date: Thu, 7 Apr 2011 18:05:50 +0200 Subject: [PATCH] Wmfsrc: Fix default value for autohide --- wmfsrc | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/wmfsrc b/wmfsrc index e4069cc..e2e6997 100644 --- a/wmfsrc +++ b/wmfsrc @@ -124,14 +124,14 @@ #default_name = "new tag" # deprecated, use [default_tag] instead #default_layout = "tile_right" # deprecated, use [default_tag] instead - expose_name = "EXPOSE" - expose_layout = "tile_left" + expose_name = "EXPOSE" + expose_layout = "tile_left" # Border around the tag buttons. - border = true + border = true # Hide empty tags in tag list - autohide = true + autohide = false # Mouse buttons action on tag. mouse_button_tag_sel = "1"