/** * Set the compressed PNG file that is being displayed. * @param image - the new compressed image or NULL if no favicon should be displayed. */ public void setFavicon(CompressedImage image) { FAVICON.set(handle, (image != null) ? image.toEncodedText() : null); }