[ jEdit-users ] Little mistake in tip window

[Yann Le Du <yan...@no...>]

Hello,

I saw a tip that needs to be changed : it says that to enable the middle 
mouse button Unix paste, one has to go to the "Text area" in the global 
options, instead of saying one has to go to "Mouse".

Bye,

--
Yann Le Du