subject:"\[PATCH\] Mouse wheel jump"

[PATCH] Mouse wheel jump

2003-01-07 Thread Michael Schmitt

Hi, here comes a tiny patch that clarifies the new meaning of mouse wheel jump (a native speaker should check whether this is correct English). Please apply, Michael Index: lyx-devel-1_3_X//src/ChangeLog === RCS file:

[PATCH] Mouse wheel jump

2003-01-07 Thread Michael Schmitt

Hi, here comes a tiny patch that clarifies the new meaning of "mouse wheel jump" (a native speaker should check whether this is correct English). Please apply, Michael Index: lyx-devel-1_3_X//src/ChangeLog === RCS file: