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

new: editor custom theme

Browse Source
This commit is contained in:
lollipopkit
2023-05-28 16:25:12 +08:00
parent 68c1fe4943
commit dbabe81e3c
15 changed files with 206 additions and 171 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -72,4 +72,8 @@ class SettingStore extends PersistentStore {
// SSH virtual key (ctrl | alt) auto turn off
StoreProperty<bool> get sshVirtualKeyAutoOff =>
property('sshVirtualKeyAutoOff', defaultValue: true);
// Editor theme
StoreProperty<String> get editorTheme =>
property('editorTheme', defaultValue: 'monokai');
}