all repos — fluxbox @ 42895e115bc28aa058a29061033080869d03fc7d

custom fork of the fluxbox windowmanager 

;
Mark Tiefenbruck mark@fluxbox.org
commit

42895e115bc28aa058a29061033080869d03fc7d

parent

533c70cb570c56a586f8946700f57a832128a705

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

jump to
M src/Window.cc → src/Window.cc 
@@ -520,7 +520,7 @@ m_client->transientFor()->fbwindow()->title()<<endl;
     }
 #endif // DEBUG
 
-    unsigned int real_width = frame().width(), real_height = frame().height()
+    unsigned int real_width = frame().width(), real_height = frame().height();
     frame().applySizeHints(real_width, real_height);
 
     if (m_placed)