Ubuntu
jedit package

  1. Bug #347308
  2. Comment #10

Comment 10 for bug 347308

Revision history for this message
Sarah Azurin (sarah-azurin) wrote :

The same thing that happens to Stjepan happens to me on my environment.

Environment: Ubuntu 11.10, jEdit 4.5, Java 1.6.0_23, gedit 3.2.6, Chromium 18.0.1025.162