diff options
| -rw-r--r-- | lisp/mwheel.el | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/lisp/mwheel.el b/lisp/mwheel.el index 546d27dd345..8158db89731 100644 --- a/lisp/mwheel.el +++ b/lisp/mwheel.el | |||
| @@ -111,7 +111,7 @@ less than a full screen." | |||
| 111 | (choice :tag "Normal" | 111 | (choice :tag "Normal" |
| 112 | (const :tag "Full screen" :value nil) | 112 | (const :tag "Full screen" :value nil) |
| 113 | (integer :tag "Specific # of lines") | 113 | (integer :tag "Specific # of lines") |
| 114 | (float :tag "Fraction of window") | 114 | (number :tag "Fraction of window") |
| 115 | (cons | 115 | (cons |
| 116 | (repeat (choice :tag "modifier" | 116 | (repeat (choice :tag "modifier" |
| 117 | (const alt) (const control) (const hyper) | 117 | (const alt) (const control) (const hyper) |
| @@ -119,7 +119,7 @@ less than a full screen." | |||
| 119 | (choice :tag "scroll amount" | 119 | (choice :tag "scroll amount" |
| 120 | (const :tag "Full screen" :value nil) | 120 | (const :tag "Full screen" :value nil) |
| 121 | (integer :tag "Specific # of lines") | 121 | (integer :tag "Specific # of lines") |
| 122 | (float :tag "Fraction of window")))) | 122 | (number :tag "Fraction of window")))) |
| 123 | (repeat | 123 | (repeat |
| 124 | (cons | 124 | (cons |
| 125 | (repeat (choice :tag "modifier" | 125 | (repeat (choice :tag "modifier" |
| @@ -128,7 +128,7 @@ less than a full screen." | |||
| 128 | (choice :tag "scroll amount" | 128 | (choice :tag "scroll amount" |
| 129 | (const :tag "Full screen" :value nil) | 129 | (const :tag "Full screen" :value nil) |
| 130 | (integer :tag "Specific # of lines") | 130 | (integer :tag "Specific # of lines") |
| 131 | (float :tag "Fraction of window")))))) | 131 | (number :tag "Fraction of window")))))) |
| 132 | 132 | ||
| 133 | (defcustom mouse-wheel-progessive-speed t | 133 | (defcustom mouse-wheel-progessive-speed t |
| 134 | "If non-nil, the faster the user moves the wheel, the faster the scrolling. | 134 | "If non-nil, the faster the user moves the wheel, the faster the scrolling. |