Sign Up
Log In
Log In
or
Sign Up
Places
All Projects
Status Monitor
Collapse sidebar
openSUSE:Evergreen:11.1
jedit
jedit-4.2-name-clash.patch
Overview
Repositories
Revisions
Requests
Users
Attributes
Meta
File jedit-4.2-name-clash.patch of Package jedit
--- org/gjt/sp/jedit/GUIUtilities.java +++ org/gjt/sp/jedit/GUIUtilities.java @@ -1516,7 +1516,7 @@ //{{{ showSplashScreen() method static void showSplashScreen() { - splash = new SplashScreen(); + splash = new org.gjt.sp.jedit.gui.SplashScreen(); } //}}} //{{{ advanceSplashProgress() method @@ -1529,7 +1529,7 @@ //}}} //{{{ Private members - private static SplashScreen splash; + private static org.gjt.sp.jedit.gui.SplashScreen splash; private static Hashtable icons; private static String iconPath = "jeditresource:/org/gjt/sp/jedit/icons/"; private static String defaultIconPath = "jeditresource:/org/gjt/sp/jedit/icons/";
Locations
Projects
Search
Status Monitor
Help
OpenBuildService.org
Documentation
API Documentation
Code of Conduct
Contact
Support
@OBShq
Terms
openSUSE Build Service is sponsored by
The Open Build Service is an
openSUSE project
.
Sign Up
Log In
Places
Places
All Projects
Status Monitor