Re: [ jEdit-devel ] [jedit:bugs] #3940 jedit closes my session in Mint

On 11/18/2015 3:20 AM, Shawn David Pringle wrote:
> ------------------------------------------------------------------------
>
> *[bugs:#3940] <http://sourceforge.net/p/jedit/bugs/3940/> jedit closes
> my session in Mint*
>
> *Status:* open
> *Group:* severe bug
> *Created:* Wed Nov 18, 2015 08:20 AM UTC by Shawn David Pringle
> *Last Updated:* Wed Nov 18, 2015 08:20 AM UTC
> *Owner:* nobody
>
> While running jedit under Mint 17.0 Cinnamon, I find myself back at the
> login screen. It is as if I am being logged out. This only happens while
> running jedit. I am using jedit 5.3.1. I have tried installs via the
> Software Manager (deb package) and using the java installer (jar)
> available on the site. The problem persists in either case.

I run Mint 17.1 Cinnamon with JEdit 5.3.0 without having encountered 
such a problem, so it sounds like it may have something to do with Jedit 
5.3.1.