[ jEdit-users ] jEditPre4 & JDK1.4.0rc1 & RedHat 7.2 issues

[Mark G. <ma...@mc...>]

Minor issues:

1.  It seems that the middle button paste within jedit does not work 
anymore.
2.  The shortcuts still only work when focus is on the buffer.
3.  The logo went back to the old logo?


-Mark