jedit-devel Mailing List for jEdit

On 11/18/2015 3:20 AM, Shawn David Pringle wrote:
> ------------------------------------------------------------------------
>
> *[bugs:#3940] <" rel="nofollow">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.

Eric, I've added your OuterBeauty to the Beauty plugin in svn. Would you
take a look to make sure it is working correctly and check that I've
documented it correctly? I'm still fine-tuning the java beautifier for Java
8, but I expect I'll have that done in the next couple of days and be ready
for a release early next week.

Thanks,

Dale



On Sun, Oct 25, 2015 at 2:53 PM, Eric Le Lay <ker...@us...
> wrote:

> Le Sun, 25 Oct 2015 14:29:05 -0600,
> Dale Anson <da...@da...> a écrit :
>
> > Hi Eric,
> >
> > It would probably make sense to include OuterBeauty into Beauty, but
> > keep your js beautifier as a separate plugin.  That's good work on
> > both, I'd been meaning to get around to js-beauty last year, but
> > never did. This will also make it easier for someone to step up and
> > add the clang formatter.
>
> ok
>
> > I've been doing some work on the Beauty plugin to update the java
> > beautifier to support java 8. Would you like me to go ahead and merge
> > OuterBeauty into Beauty while I'm at it?
> >
>
> yes, that'd be great. Don't need to carry more than
> OuterBeautifier.java...
>
> Thanks,
> Eric
>
>
> ------------------------------------------------------------------------------
> --
> -----------------------------------------------
> jEdit Developers' List
> jEd...@li...
> https://lists.sourceforge.net/lists/listinfo/jedit-devel
>