Juergen Spitzmueller wrote: > The attached patch finally eliminates the gui element. > I did not touch qt4, since Abdel is reorganizing the Prefs dialog > currently. Abdel, while you are at it, could you please remove the wheel > mouse spinbox? > > OK to apply to branch and trunk?
I would think so. Since the system wheel setting is obeyed now it is only logical to remove this setting in the same release (1.4.1). It would be nice if you could lookup whether gtk uses this setting at all, and make a comment in lyxrc.h stating which frontedns actually use wheel_jump. Georg
