new: edit settings in json

2023-08-28 18:08:26 +08:00
parent 11c3bf795b
commit 0420793e21
13 changed files with 83 additions and 31 deletions
--- a/lib/view/page/setting/entry.dart
+++ b/lib/view/page/setting/entry.dart
@@ -194,7 +194,8 @@ class _SettingPageState extends State<SettingPage> {
        _buildFont(),
        _buildTermFontSize(),
        _buildSSHVirtualKeyAutoOff(),
-        _buildKeyboardType(),
+        // Use hardware keyboard on desktop, so there is no need to set it
+        if (isMobile) _buildKeyboardType(),
        _buildSSHVirtKeys(),
        _buildSftpRmrfDir(),
      ].map((e) => RoundRectCard(e)).toList(),