Ubuntu
jedit package

  1. Bug #347308
  2. Comment #13

Comment 13 for bug 347308

Revision history for this message
jmaasing (johan-zoom) wrote :

Problem persists in Ubuntu 13.10, jEdit 5.1.0, OpenJDK Runtime Environment (IcedTea6 1.12.6) (6b27-1.12.6-1ubuntu2)

Can copy paste into all apps except gnome-terminal