On Thu, Nov 01, 2001 at 11:49:21AM -0800, noreply@... wrote:
> BTW, what happened to the XClipboard plugin? It was nice to
> have jEdit see the X mouse selection clipboard...
When running on JDK 1.4, jEdit uses the new Toolkit.getSystemSelection()
method to get and set the selection clipboard.