String str = "! (ekt instanceof HTMLEditorKit)";
GfrHelpBroker._LOGGER_.severe(str);
return false;
}
HTMLEditorKit ektHtml = (HTMLEditorKit) ekt;
// -------------------------------------
// 5) assign styleSheet to editorKitHtml
StyleSheet sstCur = ektHtml.getStyleSheet();
if (sstCur == null)
{
String str = "sstCur == null"; // !!!!!!!!!!
//GfrHelpBroker._LOGGER_.info(str);
return true;
}
if (this._sst == sstCur)
{
String str = "this._sst == sstCur"; // !!!!!!!!!!
//GfrHelpBroker._LOGGER_.info(str);
return true;
}
if (ektHtml != null) // !!!!
ektHtml.setStyleSheet(this._sst);
else
{
String str = "ektHtml == null"; // !!!!!!!!!!
//GfrHelpBroker._LOGGER_.info(str);
}