0445名無しさん＠ピンキー (ｱｳｱｳｳｰ Sab3-j51m)2021/02/01(月) 18:02:10.17ID:ePR4SrHra >>443 オプションで前回のウィンドウサイズを記憶するみたいなのがあるよ
