all repos — fluxbox @ 67f5dd9dd79b5b6b5a4972cf31ba95692a1c2a88

custom fork of the fluxbox windowmanager

fix shade size bug
rathnor rathnor
commit

67f5dd9dd79b5b6b5a4972cf31ba95692a1c2a88

parent

4b41f9498b662e13c4daae28aadcfa15e1bf3d97

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

jump to
M src/FbWinFrame.ccsrc/FbWinFrame.cc

@@ -19,7 +19,7 @@ // LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING

// FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER // DEALINGS IN THE SOFTWARE. -// $Id: FbWinFrame.cc,v 1.13 2003/02/23 13:40:22 rathnor Exp $ +// $Id: FbWinFrame.cc,v 1.14 2003/02/23 21:32:37 rathnor Exp $ #include "FbWinFrame.hh" #include "ImageControl.hh"

@@ -140,7 +140,7 @@

if (!m_shaded) { m_width_before_shade = m_window.width(); m_height_before_shade = m_window.height(); - m_window.resize(m_window.width(), m_titlebar.height() + 2*m_titlebar.borderWidth()); + m_window.resize(m_window.width(), m_titlebar.height()); } else { m_window.resize(m_width_before_shade, m_height_before_shade); m_grip_left.clear();