WelcomePane.fxml 5.84 KB
Newer Older
Alexander Weigl's avatar
Alexander Weigl committed
1 2
<?xml version="1.0" encoding="UTF-8"?>

3
<?import de.jensd.fx.glyphs.materialdesignicons.*?>
Alexander Weigl's avatar
Alexander Weigl committed
4
<?import javafx.geometry.Insets?>
5 6
<?import javafx.scene.control.*?>
<?import javafx.scene.layout.*?>
Alexander Weigl's avatar
Alexander Weigl committed
7
<?import javafx.scene.text.Font?>
8 9
<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">
Alexander Weigl's avatar
Alexander Weigl committed
10 11 12
    <children>
        <Label layoutX="14.0" layoutY="14.0" text="Welcome to the ProofScriptDebugger">
            <font>
Alexander Weigl's avatar
Alexander Weigl committed
13
                <Font size="24.0" />
Alexander Weigl's avatar
Alexander Weigl committed
14 15
            </font>
        </Label>
16
        <Label alignment="TOP_LEFT" layoutX="14.0" layoutY="71.0" prefHeight="129.0" prefWidth="573.0"
17 18
               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"/>
Alexander Weigl's avatar
Alexander Weigl committed
19

Alexander Weigl's avatar
Alexander Weigl committed
20
        <HBox fillHeight="true" layoutX="117.0" layoutY="200.0" maxHeight="1.7976931348623157E308" maxWidth="1.7976931348623157E308" spacing="25.0">
Alexander Weigl's avatar
Alexander Weigl committed
21
            <padding>
Alexander Weigl's avatar
Alexander Weigl committed
22
                <Insets bottom="25.0" left="25.0" right="25.0" top="25.0" />
Alexander Weigl's avatar
Alexander Weigl committed
23 24
            </padding>
        </HBox>
Alexander Weigl's avatar
Alexander Weigl committed
25
        <StackPane layoutX="142.0" layoutY="180.0" prefHeight="195.0" prefWidth="397.0" AnchorPane.bottomAnchor="10" AnchorPane.leftAnchor="10" AnchorPane.rightAnchor="10">
Alexander Weigl's avatar
Alexander Weigl committed
26
            <children>
Alexander Weigl's avatar
Alexander Weigl committed
27
                <GridPane hgap="25.0" layoutX="13.0" layoutY="155.0" vgap="25.0" StackPane.alignment="CENTER">
Alexander Weigl's avatar
Alexander Weigl committed
28
                    <columnConstraints>
Alexander Weigl's avatar
Alexander Weigl committed
29 30 31
                        <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" />
Alexander Weigl's avatar
Alexander Weigl committed
32 33
                    </columnConstraints>
                    <rowConstraints>
Alexander Weigl's avatar
Alexander Weigl committed
34 35 36 37
                        <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" />
Alexander Weigl's avatar
Alexander Weigl committed
38 39
                    </rowConstraints>
                    <children>
Sarah Grebing's avatar
interim  
Sarah Grebing committed
40 41
                        <Button contentDisplay="TOP" maxWidth="1.7976931348623157E308" text="Open Script..."
                                onAction="#openScript" GridPane.columnIndex="0" GridPane.rowIndex="0">
Alexander Weigl's avatar
Alexander Weigl committed
42
                            <graphic>
Alexander Weigl's avatar
Alexander Weigl committed
43
                                <MaterialDesignIconView glyphName="BOOK_OPEN_VARIANT" size="24" />
Alexander Weigl's avatar
Alexander Weigl committed
44 45
                            </graphic>
                        </Button>
Sarah Grebing's avatar
interim  
Sarah Grebing committed
46 47
                        <Button contentDisplay="TOP" maxWidth="1.7976931348623157E308" onAction="#loadNewScript"
                                text="New Script" GridPane.columnIndex="1" GridPane.rowIndex="0">
Alexander Weigl's avatar
Alexander Weigl committed
48
                            <graphic>
Alexander Weigl's avatar
Alexander Weigl committed
49
                                <MaterialDesignIconView glyphName="NEW_BOX" size="24" />
Alexander Weigl's avatar
Alexander Weigl committed
50 51
                            </graphic>
                        </Button>
Alexander Weigl's avatar
Alexander Weigl committed
52

Alexander Weigl's avatar
Alexander Weigl committed
53
                        <Button contentDisplay="TOP" maxHeight="1.7976931348623157E308" maxWidth="1.7976931348623157E308" onAction="#loadContraPosition" text="Contraposition" GridPane.columnIndex="0" GridPane.rowIndex="1">
Alexander Weigl's avatar
Alexander Weigl committed
54
                            <graphic>
Alexander Weigl's avatar
Alexander Weigl committed
55
                                <MaterialDesignIconView glyphName="NEW_BOX" size="24" />
Alexander Weigl's avatar
Alexander Weigl committed
56 57 58
                            </graphic>
                        </Button>

Alexander Weigl's avatar
Alexander Weigl committed
59 60 61 62 63
                        <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>
64 65 66
                        <Button contentDisplay="TOP" maxHeight="1.7976931348623157E308"
                                maxWidth="1.7976931348623157E308" onAction="#loadJavaProblem" text="Load Java Problem"
                                GridPane.columnIndex="2" GridPane.rowIndex="0">
Alexander Weigl's avatar
Alexander Weigl committed
67
                            <graphic>
Alexander Weigl's avatar
Alexander Weigl committed
68
                                <MaterialDesignIconView glyphName="HELP_CIRCLE" size="24" />
Alexander Weigl's avatar
Alexander Weigl committed
69 70
                            </graphic>
                        </Button>
71 72 73 74 75 76 77
                        <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>
78 79 80 81 82 83 84 85
                        <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>

Alexander Weigl's avatar
Alexander Weigl committed
86
                    </children>
Alexander Weigl's avatar
Alexander Weigl committed
87
                    <StackPane.margin>
Alexander Weigl's avatar
Alexander Weigl committed
88
                        <Insets bottom="10.0" left="10.0" right="10.0" top="10.0" />
Alexander Weigl's avatar
Alexander Weigl committed
89
                    </StackPane.margin>
Alexander Weigl's avatar
Alexander Weigl committed
90 91 92 93 94
                </GridPane>
            </children>
        </StackPane>
    </children>
</fx:root>