Ubuntu
jedit package

  1. Bug #948054
  2. Comment #3

Comment 3 for bug 948054

Revision history for this message
Daniel Hahler (blueyed) wrote :

btw: it is enough to change the jEdit/package-files/linux/deb/jedit.desktop file (just for info).