@@ -25,14 +25,14 @@ public function getAppConfigs(): array {
2525 key: 'default_file_extension ' ,
2626 type: ValueType::STRING ,
2727 defaultRaw: 'md ' ,
28- definition: 'Default file extension for new text files ' ,
28+ definition: 'Default file extension for new text files (usually `md` or `txt`) ' ,
2929 lazy: false ,
3030 ),
3131 new Entry (
3232 key: 'open_read_only_enabled ' ,
3333 type: ValueType::BOOL ,
3434 defaultRaw: false ,
35- definition: 'Whether opening files in read-only mode is enabled ' ,
35+ definition: 'Whether files are opened in read-only mode per default ' ,
3636 lazy: false ,
3737 ),
3838 new Entry (
@@ -46,14 +46,21 @@ public function getAppConfigs(): array {
4646 key: 'workspace_available ' ,
4747 type: ValueType::BOOL ,
4848 defaultRaw: true ,
49- definition: 'Whether rich workspace feature is available ' ,
49+ definition: 'Whether folder descriptions are available ' ,
5050 lazy: false ,
5151 ),
5252 new Entry (
5353 key: 'notify_push ' ,
5454 type: ValueType::BOOL ,
5555 defaultRaw: true ,
56- definition: 'Whether notify_push synchronization is enabled ' ,
56+ definition: 'Whether notify_push is used for real-time synchronization ' ,
57+ lazy: false ,
58+ ),
59+ new Entry (
60+ key: 'offline_readonly_delay ' ,
61+ type: ValueType::INT ,
62+ defaultRaw: 5 * 60 ,
63+ definition: 'Delay before editor switches to read-onl when offline (in seconds) ' ,
5764 lazy: false ,
5865 ),
5966 ];
@@ -65,7 +72,7 @@ public function getUserConfigs(): array {
6572 key: 'workspace_enabled ' ,
6673 type: ValueType::BOOL ,
6774 defaultRaw: true ,
68- definition: 'Whether rich workspace is enabled for the user ' ,
75+ definition: 'Whether folder description is enabled for the user ' ,
6976 lazy: false ,
7077 ),
7178 new Entry (
0 commit comments