Method select

src/main/java/matcher/gui/tab/WebViewTab.java:53–59

(String anchorId)

	}

	protected void select(String anchorId) {
		addWebViewTask(() -> webView.getEngine().executeScript("var newAnchor = document.getElementById('"+anchorId+"');"
				+ "if (newAnchor !== null) document.body.scrollTop = newAnchor.getBoundingClientRect().top + window.scrollY;"
				+ "if (window.hasOwnProperty('anchorElem') && window.anchorElem !== null) window.anchorElem.classList.remove('selected');"
				+ "if (newAnchor !== null) newAnchor.classList.add('selected');"
				+ "window.anchorElem = newAnchor;"));
	}

	protected double getScrollTop() {
		Object result;