#198 Splashscreen cannot be hidden

for 5.2.x
closed-accepted
Alan Ezust
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