On Thursday 09 January 2003 7:16 pm, Michael Schmitt wrote: > Dear Lars, Jean-Marc, > > please apply the following two patches: > > 1. Change default value and description of mouse wheel jump > (John thinks it is OK)
I'll commit this. > 2. Make CTRL-Pos1/End behave a little bit more intuitive > (Patch suggested by Andre) I won't commit this but leave it for André. (Insufficient knowledge.) > Michael -- Angus
