[ jEdit-devel ] Fwd: recent changes to jEdit 5.2

Actually, it was just the Bug #3876 for both of my splash screen problems.

Using the native splash was bad for situations where you never show any
GUI, e. g. if you just open an existing file in jEdit, or even worse, if
you autostart the jEdit server. Then you will have the splash screen there
until you really open jEdit, or at least show the right-click menu on the
tray icon. Because that is a GUI element and causes the native splash to go
away.

The problem that no progress messages were shown, was simply that I had a
nosplash file and didn't remember it. Actually I didn't remember it because
a splash screen was shown, but just the native one until jEdit opened.

So both of those problems were solved by removing the native splash screen.
:-)



Regarding the blue corners, the "problem" was there before already in the
lower right corner, but just wasn't as visible.
Now with 5.3.2, the lower left and, if e. g. column ruler is active, also
the upper left and upper right corners are affected, because the
surrounding elements are not drawn from full left to right like it was
before.
The corners are simply not drawn. That means that the background of the
underlying component shines through.
If BufferTabs is enabled, the background is the selected TabPanel and thus
the blue color in case of metal L&F.
As long as it was just the small little square in the bottom right between
the two scroll bars this didn't disturb much.
But as it affects now all four corners I think this is too prominent and we
should draw something there.
Maybe the gutter color, what do you think guys?

Regards
Björn



2014-05-29 11:08 GMT+02:00 Eric Le Lay <ker...@us...>:

Le Tue, 27 May 2014 17:27:38 -0400,
> Alan Ezust <ala...@gm...> a écrit :
>
> > Vampire asks me in an IM:
> >
> (...)
> > > And second, are the changes to the Splash intended? If I now start
> > > jEdit, the Splash shows no progress or messages anymore but just
> > > sits there until jEdit is loaded completely. And if I know open
> > > another file in jEdit from outside, also the splashscreen is shown
> > > while it shouldn't as jEdit is already running and is just told
> > > what to do.
> >
> >
> > I can see progress and messages but the progress bar isn't as dark as
> > it used to be.
> > The splashscreen is shown in situations where it used to not be, that
> > is also true. But since it is not always "on top" it doesn't bother
> > me as much as it would have before Eric Le Lay's change.
>
> Hi,
> the darkness of the bar sure can be changed.
> Showing the splash-screen when loading the full jEdit and not showing
> it when you open a file from the outside while jEdit is already
> running can't be done easily when using the native splash-screen
> facility [1].
> I guess one could write a first program checking for jEdit presence and
> telling it to load a file WITHOUT splash-screen and if it fails, running
> jEdit with splash-screen.
> This implies starting the JVM twice so I'd say it is a bit overkill!
> I'm open to other ideas...
>
> Regarding the fact that nothing shows on the splash-screen,
> this may be an issue of threading on your platform/PC.
> I'm running ArchLinux with java version "1.7.0_55"
> OpenJDK Runtime Environment (IcedTea 2.4.7) (ArchLinux build
> 7.u55_2.4.7-1-x86_64) OpenJDK 64-Bit Server VM (build 24.51-b03, mixed
> mode) on a multiprocessor system so concurrent calls are very likely
> to be called in parallel. Maybe in your system it's not the case.
>
>
>
> [1]
> http://stackoverflow.com/questions/3477539/how-to-let-user-have-an-option-to-disable-splash-screen
>