diff options
| author | takase1121 <20792268+takase1121@users.noreply.github.com> | 2023-08-29 13:02:05 -0400 |
|---|---|---|
| committer | jgmdev <jgmdev@gmail.com> | 2023-08-29 13:02:10 -0400 |
| commit | 3684cee5e651444f2e7e2ccd6af5354c37484e68 (patch) | |
| tree | 4f90865fc056793b4c2502e1c7348ec4be1f26d4 /data | |
| parent | f450b6124e53b83c5bf41d6261e79ecac555d0ce (diff) | |
| download | pragtical-3684cee5e651444f2e7e2ccd6af5354c37484e68.tar.gz pragtical-3684cee5e651444f2e7e2ccd6af5354c37484e68.zip | |
docs(core.config): minor fixes
Diffstat (limited to 'data')
| -rw-r--r-- | data/core/config.lua | 10 |
1 files changed, 3 insertions, 7 deletions
diff --git a/data/core/config.lua b/data/core/config.lua index cc76e594..ff22bdc4 100644 --- a/data/core/config.lua +++ b/data/core/config.lua @@ -121,7 +121,7 @@ config.always_show_tabs = true ---@alias config.highlightlinetype ---| true # Always highlight the current line. ---| false # Never highlight the current line. ----| "no_selection" Highlight the current line if no text is selected. +---| "no_selection" # Highlight the current line if no text is selected. ---Highlights the current line. --- @@ -212,12 +212,8 @@ config.draw_whitespace = false ---Disables system-drawn window borders. --- ----Note that on some Wayland platforms that doesn't have server-side ----decorations, window borders may still be drawn if Pragtical is compiled ----with libdecor support. ---- ----In that case, this option can be safely disabled. ----Otherwise, no window decoration will be shown. +---When set to true, Pragtical draws its own window decorations, +---which can be useful for certain setups. --- ---Defaults to false. ---@type boolean |