Method showAlert

src/main/java/matcher/gui/Gui.java:548–557

(AlertType type, String title, String headerText, String text)

	}

	public void showAlert(AlertType type, String title, String headerText, String text) {
		Alert alert = new Alert(type, text);

		alert.setTitle(title);
		alert.setHeaderText(headerText);

		Platform.runLater(() -> alert.getDialogPane().getScene().getWindow().sizeToScene()); // work around linux display bug  (JDK-8193502)

		alert.showAndWait();
	}

	public boolean requestConfirmation(String title, String headerText, String text) {
		Alert alert = new Alert(AlertType.CONFIRMATION, text);