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>