Hidden Settings (JSON)
Some settings are hidden from the UI but accessible via JSON editor.
Access
Section titled “Access”Long-press Settings in drawer to open JSON editor.
Common Hidden Settings
Section titled “Common Hidden Settings”serverTabUseOldUI
Section titled “serverTabUseOldUI”Use old server tab UI.
{"serverTabUseOldUI": true}Type: boolean | Default: false
timeout
Section titled “timeout”Connection timeout in seconds.
{"timeout": 10}Type: integer | Default: 5 | Range: 1-60
recordHistory
Section titled “recordHistory”Save history (SFTP paths, etc.).
{"recordHistory": true}Type: boolean | Default: true
textFactor
Section titled “textFactor”Text scaling factor.
{"textFactor": 1.2}Type: double | Default: 1.0 | Range: 0.8-1.5
Finding More Settings
Section titled “Finding More Settings”All settings defined in setting.dart.
Look for:
late final settingName = StoreProperty(box, 'settingKey', defaultValue);⚠️ Important
Section titled “⚠️ Important”Before editing:
- Create backup - Wrong settings can cause app to not open
- Edit carefully - JSON must be valid
- Change one at a time - Test each setting
Recovery
Section titled “Recovery”If app won’t open after editing:
- Clear app data (last resort)
- Reinstall app
- Restore from backup