1. 2016-08-30 [ jEdit-devel ] [jedit:bugs] #3940 jedit closes my se jedit-dev Alan Ezust 2. 2016-08-30 [ jEdit-devel ] [jedit:bugs] #3940 jedit closes my se jedit-dev Alan Ezust 3. 2016-03-27 [ jEdit-devel ] [jedit:bugs] #3940 jedit closes my se jedit-dev Alan Ezust 4. 2016-03-27 [ jEdit-devel ] [jedit:bugs] #3940 jedit closes my se jedit-dev Shawn David Pringl 5. 2016-03-27 [ jEdit-devel ] [jedit:bugs] #3940 jedit closes my se jedit-dev Alan Ezust 6. 2015-11-19 Re: [ jEdit-devel ] [jedit:bugs] #3940 jedit closes m jedit-dev Edward Diener 7. 2015-11-18 [ jEdit-devel ] [jedit:bugs] #3940 jedit closes my se jedit-dev Shawn David Pringl