mirror of
https://github.com/wavetermdev/waveterm.git
synced 2025-01-31 23:11:28 +01:00
555ab07861
This is an experimental modal to show tips. If it helps improve discoverability, it will be improved in the future.
13 lines
310 B
JSON
13 lines
310 B
JSON
{
|
|
"ai:model": "gpt-4o-mini",
|
|
"ai:maxtokens": 1000,
|
|
"ai:timeoutms": 10000,
|
|
"autoupdate:enabled": true,
|
|
"autoupdate:installonquit": true,
|
|
"autoupdate:intervalms": 3600000,
|
|
"editor:minimapenabled": true,
|
|
"window:tilegapsize": 3,
|
|
"telemetry:enabled": true,
|
|
"tips:show": true
|
|
}
|