2023-09-28 10:52:20 +02:00
|
|
|
theme="sonokai"
|
|
|
|
|
|
2024-01-19 17:47:36 +01:00
|
|
|
[editor.soft-wrap]
|
|
|
|
|
enable = true
|
|
|
|
|
|
2024-01-27 13:51:37 +01:00
|
|
|
[editor.cursor-shape]
|
|
|
|
|
insert = "bar"
|
|
|
|
|
normal = "block"
|
|
|
|
|
select = "block"
|
|
|
|
|
|
2023-09-28 10:52:20 +02:00
|
|
|
[keys.normal]
|
|
|
|
|
backspace = {r = ":sh cargo run", p = ":sh python src/main.py"}
|
2024-01-27 13:04:01 +01:00
|
|
|
a = ["ensure_selections_forward", "collapse_selection", "move_char_right", "insert_mode"]
|
