Skip to content

Commit

Permalink
racket-pdb-after-motion-refresh-delay: Increase default to 0.5
Browse files Browse the repository at this point in the history
Also document how this can relate to the initial delay amount of the
keyboard's automatic repeat feature.
  • Loading branch information
greghendershott committed Apr 29, 2023
1 parent b5856a1 commit e805103
Showing 1 changed file with 6 additions and 4 deletions.
10 changes: 6 additions & 4 deletions racket-custom.el
Original file line number Diff line number Diff line change
Expand Up @@ -165,12 +165,14 @@ Set to nil to disable automatic refresh and manually use
:safe #'integerp
:group 'racket-pdb)

(defcustom racket-pdb-after-motion-refresh-delay 0.25
(defcustom racket-pdb-after-motion-refresh-delay 0.5
"Seconds to wait after moving, before querying and redrawing annotations.
After you move point, `racket-pdb-mode' queries pdb for only
annotations visible on screen, and after the response arrives,
draws them."
Some people tend to move by holding a motion key, and waiting for
the keyboard's automatic repeat. If you do this, you probably
want to set this variable to be greater than your keyboard's
initial repeat delay. Otherwise, you might get one redraw while
waiting, which might feel like a \"flicker\"."
:tag "Racket PDB Mode After Motion Refresh Delay"
:type '(choice (integer :tag "Seconds"))
:safe #'integerp
Expand Down

0 comments on commit e805103

Please sign in to comment.