mirror of
https://github.com/wavetermdev/waveterm
synced 2026-04-21 22:47:16 +00:00
74c8044c73
Adds a new setting for the gap size between tiles in a layout. Also updates the resize handle calculations so they are dynamically generated based on the gap size. Also updates the styling for the resize handles to be more robust. This also updates the default gap size to 3px. This also slims out the Block Frame padding so it is just enough that the blocks don't overlap when there's no gap.
10 lines
259 B
JSON
10 lines
259 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
|
|
}
|