(In reply to comment #35)
> Rahul, would you have time to incorporate Gavin's comments for a new patch? It
> would be really appreciated.
gavin rejected adding a preference, and i agree with him. so it's either WONTFIX, or change the default shortcuts. change them to what? if someone answers this, i'll write the patch for it.
(In reply to comment #35)
> Rahul, would you have time to incorporate Gavin's comments for a new patch? It
> would be really appreciated.
gavin rejected adding a preference, and i agree with him. so it's either WONTFIX, or change the default shortcuts. change them to what? if someone answers this, i'll write the patch for it.