Menu

#198 Splashscreen cannot be hidden

for 5.2.x
closed-accepted
None
5
2014-07-31
2014-07-29
No

Please merge 23625 to remove the native splashscreen as it cannot be hidden

http://sourceforge.net/p/jedit/svn/23625

https://sourceforge.net/p/jedit/bugs/3876/

Discussion

  • Alan Ezust

    Alan Ezust - 2014-07-31
    • status: open --> closed-accepted
    • assigned_to: Alan Ezust
     
  • Alan Ezust

    Alan Ezust - 2014-07-31

    Committed 23637

     

Log in to post a comment.