/** * Work around Firefox bug * https://bugzilla.mozilla.org/show_bug.cgi?id=519028 * (change location.hash leads to location bar icon (favicon) disappearance). * Simply detach and re-attach the favicon link tag on hashchange. */ @Override public void onValueChange(ValueChangeEvent<String> event) { super.onValueChange(event); if (clientAgentType.isFirefox()) { Scheduler.get().scheduleDeferred(() -> { Node favicon = DOM.getElementById("id-link-favicon"); //$NON-NLS-1$ if (favicon != null) { Node parent = favicon.getParentNode(); favicon.removeFromParent(); parent.appendChild(favicon); } }); } }