ブックマークの一覧などを下ドッキングに設定していますが、 エディタを再起動するとドッキングの高さがリセットされます。 また、たまに起動時一瞬リセットされた高さになった後に終了時の高さに戻ることもあります。 左および右ドッキングは恐らく問題なく、起動時に前回終了時の幅になります。