18/08/18 00:31:09.18 zwwWRw320.net
ウィンドウの位置やサイズは記憶する
マルチディスプレイで遠方出張とかした後ウィンドウ環境が変更したらどうするかは深く考えてない
ウィンドウ位置をデフォに戻すオプションくらいはつけたほうが良かったやもしれない
設定ファイルを手動でいじるとバグると思う
これもデフォルト設定に戻す機能くらいはあっても良いかもしれない
今はどちらも存在しないので、その手の問題が起こったら>>352の場所の window-state.json と
18/08/18 00:31:09.18 zwwWRw320.net
ウィンドウの位置やサイズは記憶する
マルチディスプレイで遠方出張とかした後ウィンドウ環境が変更したらどうするかは深く考えてない
ウィンドウ位置をデフォに戻すオプションくらいはつけたほうが良かったやもしれない
設定ファイルを手動でいじるとバグると思う
これもデフォルト設定に戻す機能くらいはあっても良いかもしれない
今はどちらも存在しないので、その手の問題が起こったら>>352の場所の window-state.json と