Variable: debugger-previous-window-height

The last recorded height of `debugger-previous-window'.