opt.: seq settings (#273)

lib/data/res/github_id.dart

@@ -4,6 +4,7 @@ abstract final class GithubIds {
   // Thanks
   // If you want to change your Github ID, please open an issue.
   static const contributors = <GhId>{
+    'PaperCube',
     'its-tom',
     'azkadev',
     'kalashnikov',
@@ -57,5 +58,6 @@ abstract final class GithubIds {
     'bxoooooo',
     'KatharsisKing',
     'mervinniu',
+    'L-Super',
   };
 }

lib/data/store/setting.dart

@@ -100,7 +100,7 @@ class SettingStore extends PersistentStore {
   late final termFontSize = property('termFontSize', 13.0);
 
   // Locale
-  late final locale = property<String>('locale', '');
+  late final locale = property('locale', '');
 
   // SSH virtual key (ctrl | alt) auto turn off
   late final sshVirtualKeyAutoOff = property('sshVirtualKeyAutoOff', true);