#519 Allow splash screen that is not 'always on top'

None
closed-accepted
Eric Le Lay
None
5
2014-03-30
2012-09-11
Shlomy Reinstein
No

The jEdit splash screen is currently 'always on top'. Sometimes, it takes jEdit a lot of time to start, and during this time the splash screen hides a large portion of the screen and prevents me from working with other applications.
I know I can get rid of the splash screen, but I am interested in it, and in being able to check the startup progress.

Discussion

  • Eric Le Lay
    Eric Le Lay
    2012-12-27

    same splash screen but with space below for progress message

     
    Attachments
  • Eric Le Lay
    Eric Le Lay
    2012-12-27

    here is a patch to use java6 native splash screen.
    For me, it goes to background.
    Is it better ?

     
  • Alan Ezust
    Alan Ezust
    2014-03-23

    It satisfies the feature request, in that the splash screen is no longer always on top. I see a strange flickering at first when it pops up but aside from that it looks good to me.

     
  • Alan Ezust
    Alan Ezust
    2014-03-23

    Ticket moved from /p/jedit/feature-requests/452/

     
  • Alan Ezust
    Alan Ezust
    2014-03-23

    • assigned_to: Shlomy Reinstein --> Eric Le Lay
    • Group: -->
     
  • Alan Ezust
    Alan Ezust
    2014-03-30

     
  • Alan Ezust
    Alan Ezust
    2014-03-30

    Eric, you have my permission to commit this.

     
  • Eric Le Lay
    Eric Le Lay
    2014-03-30

    Applied in [r23449].

    I've tested both versions (native and window based) by setting realSplash to null in SplashScreen().
    The code has been refactored a bit since the patch.

     

    Related

    Commit: [r23449]

  • Eric Le Lay
    Eric Le Lay
    2014-03-30

    • status: open --> closed-accepted