diff options
| author | Phil Jones <philj56@gmail.com> | 2022-12-20 23:53:20 +0000 |
|---|---|---|
| committer | Phil Jones <philj56@gmail.com> | 2022-12-21 00:15:16 +0000 |
| commit | 6c47cf7892d0f212b04e7b798e53c120f51022d7 (patch) | |
| tree | c44b910e059d5bdcf991b2239de8d29cb007bed6 /doc/config | |
| parent | 108550fcf8d3ed8664c0e05defceaf20b4d2b49e (diff) | |
Add text cursor support.
This turned out to be much more complex than anticipated, and the
potential for bugs is therefore quite high.
Diffstat (limited to 'doc/config')
| -rw-r--r-- | doc/config | 33 |
1 files changed, 32 insertions, 1 deletions
@@ -110,6 +110,34 @@ # Matching portion of selection text selection-match-color = #00000000 + +# +### Text cursor theme +# + # Style of the optional text cursor. + # + # Supported values: bar, block, underscore + text-cursor-style = bar + + # Color of the text cursor + # + # If unspecified, defaults to the same as input-color + # text-cursor-color = #FFFFFF + + # Color of text behind the text cursor when text-cursor-style = block + # + # If unspecified, defaults to the same as background-color + # text-cursor-background = #000000 + + # Corner radius of the text cursor + text-cursor-corner-radius = 0 + + # Thickness of the bar and underscore text cursors. + # + # If unspecified, defaults to a font-dependent value when + # text-cursor-style = underscore, or to 2 otherwise. + # text-cursor-thickness = 2 + # ### Text layout # @@ -207,9 +235,12 @@ # ### Behaviour # - # Hide the cursor. + # Hide the mouse cursor. hide-cursor = false + # Show a text cursor in the input field. + text-cursor = false + # Sort results by number of usages in run and drun modes. history = true |