all repos — fluxbox @ ed7bcc5dbcbd2d3e4dddb4c57219ef6beda240e6

custom fork of the fluxbox windowmanager 

Corrections for border width for relative resize
Arkadiusz Bokowy arkadiusz.bokowy@gmail.com
commit

ed7bcc5dbcbd2d3e4dddb4c57219ef6beda240e6

parent

786d8bacc0709bccdfa91eeefb9ce8a4beb546b6

1 files changed, 2 insertions(+), 0 deletions(-)

jump to
M src/CurrentWindowCmd.cc → src/CurrentWindowCmd.cc 
@@ -677,6 +677,7 @@ int head = fbwindow().getOnHead();
 
     if (m_is_relative_x) {
         dx = fbwindow().screen().calRelativeWidth(head, dx);
+        dx -= 2 * fbwindow().frame().window().borderWidth();
         if(dx <= 0) {
             dx = fbwindow().width();
         }

@@ -684,6 +685,7 @@ }
 
     if (m_is_relative_y) {
         dy = fbwindow().screen().calRelativeHeight(head, dy);
+        dy -= 2 * fbwindow().frame().window().borderWidth();
         if(dy <= 0) {
             dy = fbwindow().height();
         }