WelcomePane.fxml

<?xml version="1.0" encoding="UTF-8"?>

<?import de.jensd.fx.glyphs.materialdesignicons.*?>
<?import javafx.geometry.Insets?>
<?import javafx.scene.control.*?>
<?import javafx.scene.layout.*?>
<?import javafx.scene.text.Font?>
<fx:root xmlns:fx="http://javafx.com/fxml/1" prefHeight="400.0" prefWidth="600.0" type="AnchorPane"
         xmlns="http://javafx.com/javafx/8.0.112">
    <children>
        <Label layoutX="14.0" layoutY="14.0" text="Welcome to the ProofScriptDebugger">
            <font>
                <Font size="24.0" />
            </font>
        </Label>
        <Label alignment="TOP_LEFT" layoutX="14.0" layoutY="71.0" prefHeight="129.0" prefWidth="573.0"
               text="This application is the Proof Script debugger for the KeY system. It allows to perform proofs using a proof scripting language on top of the KeY system."
               wrapText="true"/>

        <HBox fillHeight="true" layoutX="117.0" layoutY="200.0" maxHeight="1.7976931348623157E308" maxWidth="1.7976931348623157E308" spacing="25.0">
            <padding>
                <Insets bottom="25.0" left="25.0" right="25.0" top="25.0" />
            </padding>
        </HBox>
        <StackPane layoutX="142.0" layoutY="180.0" prefHeight="195.0" prefWidth="397.0" AnchorPane.bottomAnchor="10" AnchorPane.leftAnchor="10" AnchorPane.rightAnchor="10">
            <children>
                <GridPane hgap="25.0" layoutX="13.0" layoutY="155.0" vgap="25.0" StackPane.alignment="CENTER">
                    <columnConstraints>
                        <ColumnConstraints hgrow="SOMETIMES" minWidth="10.0" prefWidth="100.0" />
                        <ColumnConstraints hgrow="SOMETIMES" minWidth="10.0" prefWidth="100.0" />
                        <ColumnConstraints hgrow="SOMETIMES" minWidth="10.0" prefWidth="100.0" />
                    </columnConstraints>
                    <rowConstraints>
                        <RowConstraints maxHeight="1.7976931348623157E308" minHeight="50.0" prefHeight="30.0" valignment="CENTER" vgrow="ALWAYS" />
                        <RowConstraints maxHeight="1.7976931348623157E308" minHeight="50.0" prefHeight="30.0" valignment="CENTER" vgrow="ALWAYS" />
                        <RowConstraints maxHeight="1.7976931348623157E308" minHeight="50.0" prefHeight="30.0" valignment="CENTER" vgrow="ALWAYS" />
                        <RowConstraints maxHeight="1.7976931348623157E308" minHeight="50.0" prefHeight="30.0" valignment="CENTER" vgrow="ALWAYS" />
                    </rowConstraints>
                    <children>
                        <Button contentDisplay="TOP" maxWidth="1.7976931348623157E308" text="Open Script..."
                                onAction="#openScript" GridPane.columnIndex="0" GridPane.rowIndex="0">
                            <graphic>
                                <MaterialDesignIconView glyphName="BOOK_OPEN_VARIANT" size="24" />
                            </graphic>
                        </Button>
                        <Button contentDisplay="TOP" maxWidth="1.7976931348623157E308" onAction="#loadNewScript"
                                text="New Script" GridPane.columnIndex="1" GridPane.rowIndex="0">
                            <graphic>
                                <MaterialDesignIconView glyphName="NEW_BOX" size="24" />
                            </graphic>
                        </Button>

                        <Button contentDisplay="TOP" maxHeight="1.7976931348623157E308" maxWidth="1.7976931348623157E308" onAction="#loadContraPosition" text="Contraposition" GridPane.columnIndex="0" GridPane.rowIndex="1">
                            <graphic>
                                <MaterialDesignIconView glyphName="NEW_BOX" size="24" />
                            </graphic>
                        </Button>

                        <Button contentDisplay="TOP" maxHeight="1.7976931348623157E308" maxWidth="1.7976931348623157E308" onAction="#loadJavaTest" text="Java Test Example" GridPane.columnIndex="1" GridPane.rowIndex="1">
                            <graphic>
                                <MaterialDesignIconView glyphName="NEW_BOX" size="24" />
                            </graphic>
                        </Button>
                        <Button contentDisplay="TOP" maxHeight="1.7976931348623157E308"
                                maxWidth="1.7976931348623157E308" onAction="#loadJavaProblem" text="Load Java Problem"
                                GridPane.columnIndex="2" GridPane.rowIndex="0">
                            <graphic>
                                <MaterialDesignIconView glyphName="HELP_CIRCLE" size="24" />
                            </graphic>
                        </Button>
                        <Button contentDisplay="TOP" maxHeight="1.7976931348623157E308"
                                maxWidth="1.7976931348623157E308" onAction="#loadHelpPage" text="Introduction"
                                GridPane.columnIndex="2" GridPane.rowIndex="1">
                            <graphic>
                                <MaterialDesignIconView glyphName="HELP_CIRCLE" size="24"/>
                            </graphic>
                        </Button>
                        <Button contentDisplay="TOP" maxWidth="1.7976931348623157E308"
                                text="Java File with Empty Script"
                                onAction="#loadJavaProblemWithNewScript" GridPane.columnIndex="1" GridPane.rowIndex="2">
                            <graphic>
                                <MaterialDesignIconView glyphName="BOOK_OPEN_VARIANT" size="24"/>
                            </graphic>
                        </Button>

                    </children>
                    <StackPane.margin>
                        <Insets bottom="10.0" left="10.0" right="10.0" top="10.0" />
                    </StackPane.margin>
                </GridPane>
            </children>
        </StackPane>
    </children>
</fx:root>