mirror of
https://github.com/wavetermdev/waveterm.git
synced 2024-12-22 16:48:23 +01:00
24 lines
789 B
JSON
24 lines
789 B
JSON
{
|
|
"ai:preset": "ai@global",
|
|
"ai:model": "gpt-4o-mini",
|
|
"ai:maxtokens": 2048,
|
|
"ai:timeoutms": 60000,
|
|
"autoupdate:enabled": true,
|
|
"autoupdate:installonquit": true,
|
|
"autoupdate:intervalms": 3600000,
|
|
"conn:askbeforewshinstall": true,
|
|
"conn:wshenabled": true,
|
|
"editor:minimapenabled": true,
|
|
"web:defaulturl": "https://github.com/wavetermdev/waveterm",
|
|
"web:defaultsearch": "https://www.google.com/search?q={query}",
|
|
"window:tilegapsize": 3,
|
|
"window:maxtabcachesize": 10,
|
|
"window:nativetitlebar": true,
|
|
"window:magnifiedblockopacity": 0.6,
|
|
"window:magnifiedblocksize": 0.9,
|
|
"window:magnifiedblockblurprimarypx": 10,
|
|
"window:magnifiedblockblursecondarypx": 2,
|
|
"telemetry:enabled": true,
|
|
"term:copyonselect": true
|
|
}
|