mirror of
https://github.com/kovidgoyal/kitty
synced 2026-07-17 14:04:52 +02:00
Make scrollbar wider when mouse hovers over it
This commit is contained in:
@@ -75,7 +75,7 @@ typedef struct Options {
|
||||
ScrollbarVisibilityPolicy scrollbar;
|
||||
bool scrollbar_interactive, scrollbar_jump_on_click;
|
||||
float scrollbar_width, scrollbar_radius, scrollbar_gap, scrollbar_min_handle_height, scrollbar_hitbox_expansion;
|
||||
float scrollbar_handle_opacity, scrollbar_track_opacity, scrollbar_track_hover_opacity;
|
||||
float scrollbar_hover_width, scrollbar_handle_opacity, scrollbar_track_opacity, scrollbar_track_hover_opacity;
|
||||
color_type scrollbar_handle_color, scrollbar_track_color;
|
||||
|
||||
float text_contrast, text_gamma_adjustment;
|
||||
|
||||
Reference in New Issue
Block a user