if (!initDone)
{
//
// Get various initial settings from the ServerConfigurationManager
//
ServerConfigurationManager theSCM = ServerConfigurationManager.getInstance ();
String theDesktopClass = theSCM.getProperty (theSCM.MAUI_DESKTOP_CLASS);
if (!theDesktopClass.equals (theSCM.MAUI_DESKTOP_CLASS_VALUE))
{
try
{
desktop = (MDesktop) Class.forName (theDesktopClass).newInstance ();
}
catch (Exception e)
{
System.err.println ("[MDesktop] Couldn't create MDesktop " +
theDesktopClass + " because: " + e +
". Using default MDesktop");
}
}
if (desktop == null)
{
desktop = new MDesktop ();
}
desktop.setBackgroundColor (testColor (theSCM,
theSCM.MAUI_DESKTOP_BACKGROUND_COLOR,
theSCM.MAUI_DESKTOP_BACKGROUND_COLOR_VALUE));
desktop.setTextColor (testColor (theSCM,
theSCM.MAUI_DESKTOP_TEXT_COLOR,
theSCM.MAUI_DESKTOP_TEXT_COLOR_VALUE));
desktop.setLinkColor (testColor (theSCM,
theSCM.MAUI_DESKTOP_LINK_COLOR,
theSCM.MAUI_DESKTOP_LINK_COLOR_VALUE));
desktop.setPreamble (theSCM.getProperty (theSCM.MAUI_DESKTOP_PREAMBLE));
desktop.setPostamble (theSCM.getProperty (theSCM.MAUI_DESKTOP_POSTAMBLE));
desktop.setBackgroundImage (theSCM.getProperty (theSCM.MAUI_DESKTOP_BACKGROUND_IMAGE));
initDone = true;
}
}