Re: master bb666073d3: Allow interpolating scrolls via the Page Down and Page Up keys

[Stefan Monnier]

> -    (define-key map [wheel-down] #'pixel-scroll-precision)
> -    (define-key map [wheel-up] #'pixel-scroll-precision)
> -    (define-key map [touch-end] #'pixel-scroll-start-momentum)
> -    (define-key map [mode-line wheel-down] #'pixel-scroll-precision)
> -    (define-key map [mode-line wheel-up] #'pixel-scroll-precision)
> -    (define-key map [mode-line touch-end] #'pixel-scroll-start-momentum)
> -    (define-key map [header-line wheel-down] #'pixel-scroll-precision)
> -    (define-key map [header-line wheel-up] #'pixel-scroll-precision)
> -    (define-key map [header-line touch-end] #'pixel-scroll-start-momentum)
> -    (define-key map [vertical-scroll-bar wheel-down] 
> #'pixel-scroll-precision)
> -    (define-key map [vertical-scroll-bar wheel-up] #'pixel-scroll-precision)
> -    (define-key map [vertical-scroll-bar touch-end] 
> #'pixel-scroll-start-momentum)
> -    (define-key map [left-margin wheel-down] #'pixel-scroll-precision)
> -    (define-key map [left-margin wheel-up] #'pixel-scroll-precision)
> -    (define-key map [left-margin touch-end] #'pixel-scroll-start-momentum)
> -    (define-key map [right-margin wheel-down] #'pixel-scroll-precision)
> -    (define-key map [right-margin wheel-up] #'pixel-scroll-precision)
> -    (define-key map [right-margin touch-end] #'pixel-scroll-start-momentum)
> -    (define-key map [left-fringe wheel-down] #'pixel-scroll-precision)
> -    (define-key map [left-fringe wheel-up] #'pixel-scroll-precision)
> -    (define-key map [left-fringe touch-end] #'pixel-scroll-start-momentum)
> -    (define-key map [right-fringe wheel-down] #'pixel-scroll-precision)
> -    (define-key map [right-fringe wheel-up] #'pixel-scroll-precision)
> -    (define-key map [right-fringe touch-end] #'pixel-scroll-start-momentum)
> +    (define-key map [wheel-down] 'pixel-scroll-precision)
> +    (define-key map [wheel-up] 'pixel-scroll-precision)
> +    (define-key map [touch-end] 'pixel-scroll-start-momentum)
> +    (define-key map [mode-line wheel-down] 'pixel-scroll-precision)
> +    (define-key map [mode-line wheel-up] 'pixel-scroll-precision)
> +    (define-key map [mode-line touch-end] 'pixel-scroll-start-momentum)
> +    (define-key map [header-line wheel-down] 'pixel-scroll-precision)
> +    (define-key map [header-line wheel-up] 'pixel-scroll-precision)
> +    (define-key map [header-line touch-end] 'pixel-scroll-start-momentum)
> +    (define-key map [vertical-scroll-bar wheel-down] 'pixel-scroll-precision)
> +    (define-key map [vertical-scroll-bar wheel-up] 'pixel-scroll-precision)
> +    (define-key map [vertical-scroll-bar touch-end] 
> 'pixel-scroll-start-momentum)
> +    (define-key map [left-margin wheel-down] 'pixel-scroll-precision)
> +    (define-key map [left-margin wheel-up] 'pixel-scroll-precision)
> +    (define-key map [left-margin touch-end] 'pixel-scroll-start-momentum)
> +    (define-key map [right-margin wheel-down] 'pixel-scroll-precision)
> +    (define-key map [right-margin wheel-up] 'pixel-scroll-precision)
> +    (define-key map [right-margin touch-end] 'pixel-scroll-start-momentum)
> +    (define-key map [left-fringe wheel-down] 'pixel-scroll-precision)
> +    (define-key map [left-fringe wheel-up] 'pixel-scroll-precision)
> +    (define-key map [left-fringe touch-end] 'pixel-scroll-start-momentum)
> +    (define-key map [right-fringe wheel-down] 'pixel-scroll-precision)
> +    (define-key map [right-fringe wheel-up] 'pixel-scroll-precision)
> +    (define-key map [right-fringe touch-end] 'pixel-scroll-start-momentum)
> +    (define-key map [next] 'pixel-scroll-interpolate-down)
> +    (define-key map [prior] 'pixel-scroll-interpolate-up)

Why remove the `#`?


        Stefan