2023-05-30 20:24:08 +02:00
|
|
|
theme = "monokai"
|
|
|
|
|
|
|
|
|
|
[editor]
|
|
|
|
|
idle-timeout = 0
|
2024-04-10 14:39:37 +02:00
|
|
|
completion-trigger-len = 2
|
2023-05-30 20:24:08 +02:00
|
|
|
|
|
|
|
|
[editor.statusline]
|
|
|
|
|
left = [
|
|
|
|
|
"mode",
|
|
|
|
|
"separator",
|
|
|
|
|
"file-name",
|
|
|
|
|
"file-modification-indicator",
|
|
|
|
|
]
|
|
|
|
|
|
|
|
|
|
right = [
|
|
|
|
|
"spinner",
|
|
|
|
|
"spacer",
|
|
|
|
|
"diagnostics",
|
|
|
|
|
"separator",
|
|
|
|
|
"selections",
|
|
|
|
|
"separator",
|
|
|
|
|
"position",
|
|
|
|
|
"position-percentage",
|
|
|
|
|
"file-type",
|
|
|
|
|
]
|
|
|
|
|
|
|
|
|
|
mode.normal = "N"
|
|
|
|
|
mode.insert = "I"
|
|
|
|
|
mode.select = "S"
|
|
|
|
|
|
|
|
|
|
[editor.lsp]
|
|
|
|
|
display-inlay-hints = true
|
|
|
|
|
|
|
|
|
|
[editor.cursor-shape]
|
|
|
|
|
insert = "bar"
|
2024-04-10 14:39:37 +02:00
|
|
|
|
|
|
|
|
[editor.file-picker]
|
|
|
|
|
hidden = false
|
|
|
|
|
|
|
|
|
|
[editor.indent-guides]
|
|
|
|
|
render = true
|
|
|
|
|
|
|
|
|
|
[editor.soft-wrap]
|
|
|
|
|
enable = true
|
