/** * Returns this user agent's alternate style-sheet title. */ public String getAlternateStyleSheet() { String s = (String)hints.get(KEY_ALTERNATE_STYLESHEET); if (s != null) return s; return super.getAlternateStyleSheet(); }
/** * Returns this user agent's alternate style-sheet title. */ public String getAlternateStyleSheet() { String s = (String)hints.get(KEY_ALTERNATE_STYLESHEET); if (s != null) return s; return super.getAlternateStyleSheet(); }