aljaz/flutter_server_box
1
1
Fork 0
mirror of https://github.com/lollipopkit/flutter_server_box.git synced 2025-12-17 07:14:28 +01:00
Code Issues Packages Projects Releases Wiki Activity

opt.: term padding

Browse Source
This commit is contained in:
lollipopkit
2024-03-12 23:08:27 -06:00
parent 3747e2fc40
commit 98bee2aae7
14 changed files with 23 additions and 24 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
lib/data/store/setting.dart
View File

@@ -98,7 +98,7 @@ class SettingStore extends PersistentStore {
// SSH virtual key (ctrl | alt) auto turn off
late final sshVirtualKeyAutoOff = property('sshVirtualKeyAutoOff', true);
late final editorFontSize = property('editorFontSize', 13.0);
late final editorFontSize = property('editorFontSize', 12.5);
// Editor theme
late final editorTheme = property(