Method setScrollTop

src/main/java/matcher/gui/tab/WebViewTab.java:72–74

(double value)

	}

	protected void setScrollTop(double value) {
		addWebViewTask(() -> webView.getEngine().executeScript("document.body.scrollTop = "+value));
	}

	private void addWebViewTask(Runnable r) {
		if (webView.getEngine().getLoadWorker().getState() == State.SUCCEEDED) {