Small fix for the resizing of debugger windows