diff options
| author | Andrew Carter | 2024-02-01 01:18:53 +0000 |
|---|---|---|
| committer | GitHub | 2024-02-01 01:18:53 +0000 |
| commit | dbac78bb3c06717f1f83984da3035e28f39d49a5 (patch) | |
| tree | 930287402c11a44b1ffc7fbba4882f80cfb6413a /runtime/themes/github_dark_high_contrast.toml | |
| parent | cf4492174d0ee27bd3c73a5fa57fe3a26aa064be (diff) | |
Set ui.virtual.ruler background for GitHub themes (#9487)
Turning on a ruler does not show a visible ruler
line for the GitHub themes. This change renders
rulers using the `canvas.subtle` color. This
matches the color used for the `cursorline` and
creates a visible ruler that fits the theme.
Diffstat (limited to 'runtime/themes/github_dark_high_contrast.toml')
0 files changed, 0 insertions, 0 deletions