InspectionView.fxml 1.48 KB
Newer Older
1
2
3
4
5
6
7
8
9
10
11
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
<?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"
         type="javafx.scene.control.Tab">
    <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>

</fx:root>