2023-10-09 21:03:51 +02:00
|
|
|
theme = "dracula_transparent"
|
2023-07-24 12:31:59 +02:00
|
|
|
|
|
|
|
|
[editor]
|
|
|
|
|
line-number = "relative"
|
|
|
|
|
mouse = false
|
2024-08-01 22:35:06 +02:00
|
|
|
true-color = true
|
|
|
|
|
|
2023-07-24 12:31:59 +02:00
|
|
|
|
2023-07-25 21:34:33 +02:00
|
|
|
[editor.file-picker]
|
2023-07-25 21:36:07 +02:00
|
|
|
hidden = false
|
