From 8cf46f0a7f9d3d436d92bcb5f8c9fd127268ed10 Mon Sep 17 00:00:00 2001 From: krille-chan Date: Sat, 25 Oct 2025 20:36:09 +0200 Subject: [PATCH] chore: Migrate wrong datatype for fontSizeFactor --- lib/config/setting_keys.dart | 15 +++++++++++++++ 1 file changed, 15 insertions(+) diff --git a/lib/config/setting_keys.dart b/lib/config/setting_keys.dart index 1056929bc..8533b8846 100644 --- a/lib/config/setting_keys.dart +++ b/lib/config/setting_keys.dart @@ -1,5 +1,6 @@ import 'dart:convert'; +import 'package:async/async.dart'; import 'package:flutter/foundation.dart'; import 'package:http/http.dart' as http; @@ -72,6 +73,20 @@ enum AppSettings { final store = AppSettings._store = await SharedPreferences.getInstance(); + // Migrate wrong datatype for fontSizeFactor + final fontSizeFactorString = + Result(() => store.getString(AppSettings.fontSizeFactor.key)) + .asValue + ?.value; + if (fontSizeFactorString != null) { + Logs().i('Migrate wrong datatype for fontSizeFactor!'); + await store.remove(AppSettings.fontSizeFactor.key); + final fontSizeFactor = double.tryParse(fontSizeFactorString); + if (fontSizeFactor != null) { + await store.setDouble(AppSettings.fontSizeFactor.key, fontSizeFactor); + } + } + if (store.getBool(AppSettings.sendOnEnter.key) == null) { await store.setBool(AppSettings.sendOnEnter.key, !PlatformInfos.isMobile); }