ページマーク、ブックマーク等の保存タイミング

[Former user]

ページマークやブックマークをしたタイミングでは設定が保存されません

基本的にはアプリの終了時または設定画面を開き閉じることで保存されるようですが その他の設定ファイルや履歴の保存も同様にこのタイミングで行っていると思われます。

これについて一つ問題点がありまして、 意図しないタイミングでエラーによる強制終了や故意に終了させたり、windows updateなどで終了した場合は、それまでに行ったページマークやブックマーク等で保存されてほしいものが保存されまません。 ページマークやブックマークについては、都度保存するような方法はとれませんか？

確認したバージョンは30.1 と 32.0です。それ以外のバージョンでは確認していませんが、 同様の問題があると思われます。 よろしくおねがいします。

[Ito Mitsuhiro]

ご要望ありがとうございます。
対応を検討いたします。

[Ito Mitsuhiro]

Windowsシャットダウン時に保存をおこなうようにした (refs #537)

→ <<cset 98a11b31c4bb>>

[Ito Mitsuhiro]

ブックマーク、ページマーク変更時にファイル保存を実行するようにした (fixed #537) 多重起動時、ブックマーク、ページマークが他プロセスで変更されたときに再読込するようにした

→ <<cset e43a0386804f>>