僕は知ってる、 や で、ピンチイン・アウトで文字サイズを変えても、そのままアプリ閉じちゃうと文字サイズが保存されない不具合があることを。ほんの少しでもスクロールすると「別の操作を始めた」とみなして保存処理が走るんだけどね。普通は数百ミリのタイムアウトでも付けて保存すりゃいいんだけど、何せ処理のレイヤーが深くて綺麗な実装ができず。。
何ィ僕は知らなかった…なぜなら僕はピンチイン・アウトの文字サイズ変更を全然使わないユーザーであるため
ついぺんちゃんやぞうぺんちゃんは「別の操作を始めた」ときに保存するのか~知らなかったQT: https://fedibird.com/@takke/110933363562070374 [参照]
様々な目的に使える、日本の汎用マストドンサーバーです。安定した利用環境と、多数の独自機能を提供しています。