InspectionView.fxml 1.62 KB
Newer Older
1 2 3 4 5 6 7 8
<?xml version="1.0" encoding="UTF-8"?>

<?import de.jensd.fx.glyphs.materialdesignicons.MaterialDesignIconView?>
<?import edu.kit.formal.gui.controls.*?>
<?import javafx.geometry.Insets?>
<?import javafx.scene.control.*?>
<fx:root xmlns:fx="http://javafx.com/fxml"
         xmlns="http://javafx.com/javafx"
9 10 11
         type="edu.kit.formal.gui.controls.InspectionViewTab">
    <SplitPane orientation="VERTICAL" dividerPositions="0.25,0.75">
        <items>
12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48
    <SectionPane title="Current Goals">
        <headerRight>
            <Button onMouseClicked="#showGoalOptions">
                <graphic>
                    <MaterialDesignIconView glyphName="WRENCH"/>
                </graphic>
            </Button>
        </headerRight>
        <center>
            <ListView fx:id="goalView"/>
        </center>
    </SectionPane>

    <SplitPane>
        <padding>
            <Insets top="5" left="5" right="5" bottom="5"/>
        </padding>
        <items>
            <SectionPane title="Sequent">
                <headerRight>
                    <Button>
                        <graphic>
                            <MaterialDesignIconView glyphName="WRENCH"/>
                        </graphic>
                    </Button>
                </headerRight>
                <center>
                    <SequentView fx:id="sequentView"/>
                </center>
            </SectionPane>
            <SectionPane title="Source Code">
                <center>
                    <JavaArea fx:id="javaSourceCode"/>
                </center>
            </SectionPane>
        </items>
    </SplitPane>
49 50
        </items>
    </SplitPane>
51 52

</fx:root>