2021-04-27 20:40:16 +00:00
|
|
|
[Editor]
|
|
|
|
|
FontFamily = "VictorMono Nerd Font"
|
|
|
|
|
DisableLigatures = false
|
|
|
|
|
|
|
|
|
|
Clipboard = true
|
|
|
|
|
|
|
|
|
|
SmoothScroll = true
|
|
|
|
|
|
2021-04-27 23:53:35 +00:00
|
|
|
IndentGuide = true
|
|
|
|
|
|
|
|
|
|
ExtCmdline = true
|
|
|
|
|
ExtPopupmenu = true
|
|
|
|
|
ExtTabline = true
|
|
|
|
|
|
|
|
|
|
DrawWindowSeparator = true
|
|
|
|
|
WindowSeparatorColor = "#bdbdbd"
|
|
|
|
|
|
2021-04-27 20:40:16 +00:00
|
|
|
[MiniMap]
|
|
|
|
|
Disable = false
|
|
|
|
|
Visible = true
|
|
|
|
|
Width = 100
|
