InspectionView.fxml 2.23 KB
Newer Older
1
2
3
<?xml version="1.0" encoding="UTF-8"?>

<?import de.jensd.fx.glyphs.materialdesignicons.MaterialDesignIconView?>
Alexander Weigl's avatar
Alexander Weigl committed
4
5
<?import edu.kit.iti.formal.psdbg.gui.controls.SectionPane?>
<?import edu.kit.iti.formal.psdbg.gui.controls.SequentView?>
6
<?import javafx.scene.control.*?>
Alexander Weigl's avatar
Alexander Weigl committed
7
<?import javafx.scene.layout.*?>
8
9
<fx:root xmlns:fx="http://javafx.com/fxml"
         xmlns="http://javafx.com/javafx"
10
11
         type="javafx.scene.layout.BorderPane"
         styleClass="inspection-view-tab">
Alexander Weigl's avatar
Alexander Weigl committed
12
13
14
15
16
17
18
19
20
21
22
23
    <center>
        <SplitPane orientation="VERTICAL" dividerPositions="0.25,0.75">
            <items>
                <SectionPane title="Current Goals">
                    <headerRight>
                        <Button onMouseClicked="#showGoalOptions">
                            <graphic>
                                <MaterialDesignIconView glyphName="WRENCH"/>
                            </graphic>
                        </Button>
                    </headerRight>
                    <center>
Alexander Weigl's avatar
Alexander Weigl committed
24
25
26
                        <VBox>
                            <!--<BreadCrumbBar fx:id="frames"/>-->
                            <HBox alignment="BASELINE_LEFT">
27
                                <Label labelFor="$frames" text="Contexts:"/>
Alexander Weigl's avatar
Alexander Weigl committed
28
                                <ComboBox fx:id="frames" HBox.hgrow="ALWAYS"/>
Alexander Weigl's avatar
Alexander Weigl committed
29
30
31
                            </HBox>
                            <ListView fx:id="goalView"/>
                        </VBox>
Alexander Weigl's avatar
Alexander Weigl committed
32
33
                    </center>
                </SectionPane>
34

Alexander Weigl's avatar
Alexander Weigl committed
35
36
                <SectionPane title="Sequent">
                    <headerRight>
37
                        <Button onMouseClicked="#showSequentOptions">
Alexander Weigl's avatar
Alexander Weigl committed
38
39
40
41
42
43
44
45
46
                            <graphic>
                                <MaterialDesignIconView glyphName="WRENCH"/>
                            </graphic>
                        </Button>
                    </headerRight>
                    <center>
                        <SequentView fx:id="sequentView"/>
                    </center>
                </SectionPane>
Alexander Weigl's avatar
Alexander Weigl committed
47
48
49
            </items>
        </SplitPane>
    </center>
50
51
52
53
54
55
    <bottom>
        <HBox fx:id="searchBar" visible="false">
            <Label text="Search Pattern:"/>
            <TextField fx:id="txtSearchPattern" HBox.hgrow="ALWAYS"/>
        </HBox>
    </bottom>
56
</fx:root>