diff src/.gdbinit @ 24252:e0ae6525db58

(syms_of_w32fns): Change default value of w32-mouse-move-interval to 0, so that the mouse wheel/rocker on some mice works properly.
author Andrew Innes <andrewi@gnu.org>
date Tue, 02 Feb 1999 14:03:10 +0000
parents 4379a41b6f2e
children c26a9f95a880
line wrap: on
line diff