・ウィンドウ内でAlt+右ドラッグ
・ウィンドウメニュー(ウィンドウタイトルを右クリックか左上のアイコンを左クリック)からサイズ変更を選択
いずれにせよ面倒だが代替手段がないことはない

テーマの設定を変えるとか、ウィンドウマネージャごと入れ替えてしまうのが根本的解決かも