Method getScrollTop

src/main/java/matcher/gui/tab/WebViewTab.java:61–70

()

	}

	protected double getScrollTop() {
		Object result;

		if (webView.getEngine().getLoadWorker().getState() == State.SUCCEEDED
				&& (result = webView.getEngine().executeScript("document.body.scrollTop")) instanceof Number) {
			return ((Number) result).doubleValue();
		} else {
			return 0;
		}
	}

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