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]
|
2024-11-10 16:09:03 +01:00
|
|
|
left = ["mode", "separator", "file-name", "file-modification-indicator"]
|
2023-05-30 20:24:08 +02:00
|
|
|
|
|
|
|
|
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
|
