all repos — fluxbox @ e7cf5cbe3cefaf429dd2370d47429c8161858993

custom fork of the fluxbox windowmanager 

fixes a problem with snapping to the slit. slit's borderwith wasnt part of the
strut.
mathias mathias
commit

e7cf5cbe3cefaf429dd2370d47429c8161858993

parent

ebad1ce12f001e6be52825d48d6068af352068a1

1 files changed, 14 insertions(+), 13 deletions(-)

jump to
M src/Slit.cc → src/Slit.cc 
@@ -359,52 +359,53 @@ screen().updateAvailableWorkspaceArea();
         return;
     }
 
-
+    unsigned int bw = m_slit_theme->borderWidth();
     int left = 0, right = 0, top = 0, bottom = 0;
     switch (placement()) {
     case TOPLEFT:
         if (direction() == HORIZONTAL)
-            top = height();
+            top = height() + 2 * bw;
         else
-            left = width();
+            left = width() + 2 * bw;
         break;
     case TOPCENTER:
         if (direction() == HORIZONTAL)
-            top = height();
+            top = height() + 2 * bw;
         break;
     case TOPRIGHT:
         if (direction() == HORIZONTAL)
-            top = height();
+            top = height() + 2 * bw;
         else
-            right = width();
+            right = width() + 2 * bw;
         break;
     case BOTTOMLEFT:
         if (direction() == HORIZONTAL)
-            bottom = height();
+            bottom = height() + 2 * bw;
         else
-            left = width();
+            left = width() + 2 * bw;
         break;
     case BOTTOMCENTER:
         // would be strange to have it request size on vertical direction
         // each time we add a client
         if (direction() == HORIZONTAL)
-            bottom = height();
+            bottom = height() + 2 * bw;
         break;
     case BOTTOMRIGHT:
         if (direction() == HORIZONTAL)
-            bottom = height();
+            bottom = height() + 2 * bw;
         else
-            right = width();
+            right = width() + 2 * bw;
         break;
     case LEFTCENTER:
         if (direction() == VERTICAL)
-            left = width();        
+            left = width() + 2 * bw;
         break;
     case RIGHTCENTER:
         if (direction() == VERTICAL)
-            right = width();
+            right = width() + 2 * bw;
         break;
     }
+
     m_strut = screen().requestStrut(getOnHead(), left, right, top, bottom);
     screen().updateAvailableWorkspaceArea();
 }