fix: sluggish mouse scroll
This commit is contained in:
@@ -196,6 +196,11 @@ Compact footers show only the first configured key for each action. The
|
||||
contextual help popup shows all alternatives and is the authoritative in-app
|
||||
reference.
|
||||
|
||||
Set `mouse = true` to enable mouse-wheel scrolling. Each wheel event moves the
|
||||
focused pane by three items or rendered lines. Mouse reporting remains disabled
|
||||
by default so normal terminal text selection is unchanged; with mouse reporting
|
||||
enabled, terminals commonly require holding Shift while selecting text.
|
||||
|
||||
The PR description editor defaults to Vim-style modal editing, including
|
||||
Normal, Insert, and Visual modes, word/find motions, deletion, system clipboard
|
||||
yank/paste, and soft-wrap-aware movement. Set `editing.mode = "standard"` for a
|
||||
@@ -249,6 +254,7 @@ repository = "" # optional "owner/repository"
|
||||
show_all = false # requires repository
|
||||
limit = 50 # 1-1000
|
||||
endpoint = "https://api.github.com/graphql"
|
||||
mouse = false # opt in to accelerated mouse-wheel scrolling
|
||||
mascot = false # show the optional Difflet terminal mascot
|
||||
mascot_expressive = false # allow emotional Difflet expressions
|
||||
mascot_animated = false # allow brief state-driven motion
|
||||
|
||||
Reference in New Issue
Block a user