On 09/17/2016 12:34 PM, tim wrote:
Hi Tim,
Ouch, that sounds nasty. I'm not able to reproduce the behavior
locally, but am guessing that JEdit is not playing well with your window
manager/X driver/similar.
What are you using for your desktop? Also, when this occurs, is
anything interesting
Package: jedit
Version: 5.3.0+dfsg-1
Severity: normal
Dear Maintainer,
*** Reporter, please consider answering these questions, where appropriate ***
* What led up to the situation?
Run jedit from command line or from launcher
* What exactly did you do (or not do) that was effective (or
2 matches
Mail list logo