public interface SHTMLPrefsChangeListener
void
shtmlPrefChanged(java.lang.String propertyName, java.lang.String newValue, java.lang.String oldValue)
void shtmlPrefChanged(java.lang.String propertyName, java.lang.String newValue, java.lang.String oldValue)