/** * sets the konqueror specific properties */ private void setKonquerorProperties() { properties.setBrowserKonqueror(UserAgent.KONQUEROR.matches(getUserAgent())); if (properties.isBrowserKonqueror()) { // e.g.: Mozilla/5.0 (compatible; Konqueror/4.2; Linux) KHTML/4.2.96 (like Gecko) setMajorMinorVersionByPattern("konqueror/(\\d+)\\.(\\d+)"); } }
properties.setBrowserKonqueror(true);