no strut for docks that autohide

diff --git a/data/rc.xml b/data/rc.xml
index d96568ef4de9c77b7b4a8f41135d9ea6acfda391..42b45ccea7026a640083c825184567f936f18c1f 100644 (file)
--- a/data/rc.xml
+++ b/data/rc.xml
@@ -12,7 +12,7 @@
 
 <focus>
   <focusNew>yes</focusNew>
-  <focusLast>no</focusLast>
+  <focusLast>yes</focusLast>
   <followMouse>no</followMouse>
   <focusDelay>200</focusDelay>
   <raiseOnFocus>no</raiseOnFocus>
@@ -41,7 +41,7 @@
   <animateIconify>yes</animateIconify>
   <font place="ActiveWindow">
     <name>sans</name>
-    <size>7</size>
+    <size>8</size>
     <!-- font size in points -->
     <weight>bold</weight>
     <!-- 'bold' or 'normal' -->
@@ -50,7 +50,7 @@
   </font>
   <font place="InactiveWindow">
     <name>sans</name>
-    <size>7</size>
+    <size>8</size>
     <!-- font size in points -->
     <weight>bold</weight>
     <!-- 'bold' or 'normal' -->
@@ -59,9 +59,9 @@
   </font>
   <font place="MenuHeader">
     <name>sans</name>
-    <size>8</size>
+    <size>9</size>
     <!-- font size in points -->
-    <weight>bold</weight>
+    <weight>normal</weight>
     <!-- 'bold' or 'normal' -->
     <slant>normal</slant>
     <!-- 'italic' or 'normal' -->
@@ -70,7 +70,7 @@
     <name>sans</name>
     <size>9</size>
     <!-- font size in points -->
-    <weight>bold</weight>
+    <weight>normal</weight>
     <!-- 'bold' or 'normal' -->
     <slant>normal</slant>
     <!-- 'italic' or 'normal' -->

diff --git a/openbox/dock.c b/openbox/dock.c
index 697261e202dfc9e4fbd6e4203558fa92cf0147e0..8967b8b11b21df59617022e0bd126b94d4c8379d 100644 (file)
--- a/openbox/dock.c
+++ b/openbox/dock.c
@@ -414,7 +414,8 @@ void dock_configure()
     if (!dock->dock_apps) {
         STRUT_PARTIAL_SET(dock_strut, 0, 0, 0, 0,
                           0, 0, 0, 0, 0, 0, 0, 0);
-    } else if (config_dock_floating || config_dock_nostrut) {
+    } else if (config_dock_floating || config_dock_nostrut || config_dock_hide)
+    {
         STRUT_PARTIAL_SET(dock_strut, 0, 0, 0, 0,
                           0, 0, 0, 0, 0, 0, 0, 0);
     } else {