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

<?import javafx.geometry.Insets?>
<?import javafx.scene.control.Button?>
<?import javafx.scene.control.Label?>
<?import javafx.scene.control.ListView?>
<?import javafx.scene.control.SplitPane?>
<?import javafx.scene.control.TextArea?>
<?import javafx.scene.layout.VBox?>

11

LULUDBR\Lulu's avatar
LULUDBR\Lulu committed
12
13
<?import de.jensd.fx.glyphs.materialdesignicons.MaterialDesignIconView?>
<?import edu.kit.iti.formal.psdbg.gui.controls.SectionPane?>
14
<?import javafx.scene.layout.Pane?>
15
<?import edu.kit.iti.formal.psdbg.gui.controls.SequentView?>
LULUDBR\Lulu's avatar
LULUDBR\Lulu committed
16
17
<fx:root xmlns="http://javafx.com/javafx/8.0.121" xmlns:fx="http://javafx.com/fxml/1"
         type="edu.kit.iti.formal.psdbg.gui.controls.SequentMatcher">
18
    <center>
LULUDBR\Lulu's avatar
LULUDBR\Lulu committed
19
        <SplitPane orientation="VERTICAL">
LULUDBR\Lulu's avatar
LULUDBR\Lulu committed
20
21
22
23
24
25
26
27
28
29
30
31
32
33
                <SectionPane title="Current Goals">
                    <headerRight>
                        <Button onMouseClicked="#showGoalOptions">
                            <graphic>
                                <MaterialDesignIconView glyphName="WRENCH"/>
                            </graphic>
                        </Button>
                    </headerRight>
                    <center>
                        <VBox prefHeight="5" prefWidth="1150.0">
                            <ListView fx:id="goalView"/>
                        </VBox>
                    </center>
                </SectionPane>
LULUDBR\Lulu's avatar
LULUDBR\Lulu committed
34
                <SplitPane dividerPositions="0.4189895470383275" prefHeight="500" prefWidth="800">
LULUDBR\Lulu's avatar
LULUDBR\Lulu committed
35
36
37
                    <SectionPane title="Sequent" minHeight="0.0" minWidth="0.0" prefHeight="633.0"
                                 prefWidth="341.0">
                        <center>
38
                                <SequentView fx:id="sequentView"/>
LULUDBR\Lulu's avatar
LULUDBR\Lulu committed
39
40
                        </center>
                    </SectionPane>
LULUDBR\Lulu's avatar
LULUDBR\Lulu committed
41
42
                        <SplitPane dividerPositions="0.28551136363636365" layoutX="11.0" layoutY="12.0"
                                   orientation="VERTICAL" prefHeight="706.0" prefWidth="641.0">
LULUDBR\Lulu's avatar
LULUDBR\Lulu committed
43
                                <VBox prefHeight="293.0">
LULUDBR\Lulu's avatar
LULUDBR\Lulu committed
44
                                        <Label text="Matching Pattern"/>
LULUDBR\Lulu's avatar
LULUDBR\Lulu committed
45
46
47
                                        <TextArea fx:id="matchpattern" minHeight="0.0" minWidth="0.0" prefHeight="159.0"
                                                  prefWidth="639.0"
                                        />
LULUDBR\Lulu's avatar
LULUDBR\Lulu committed
48
49
50
                                        <Button mnemonicParsing="false" text="Start Matching"
                                                onMouseClicked="#startMatch"/>
                                </VBox>
LULUDBR\Lulu's avatar
LULUDBR\Lulu committed
51
                                <VBox prefHeight="349.0">
LULUDBR\Lulu's avatar
LULUDBR\Lulu committed
52
                                        <Label text="Matches"/>
53
54
                                            <Pane>
                                                <Label fx:id ="nomatchings" text="No matchings found" visible="false"/>
55
                                                <ListView fx:id="matchingsView" prefWidth="800"/>
56
57
                                            </Pane>

LULUDBR\Lulu's avatar
LULUDBR\Lulu committed
58
                                </VBox>
59
                        </SplitPane>
LULUDBR\Lulu's avatar
LULUDBR\Lulu committed
60
                </SplitPane>
LULUDBR\Lulu's avatar
LULUDBR\Lulu committed
61
        </SplitPane>
62
63
    </center>
    <padding>
LULUDBR\Lulu's avatar
LULUDBR\Lulu committed
64
        <Insets bottom="25.0" left="25.0" right="25.0" top="25.0"/>
65
66
    </padding>

LULUDBR\Lulu's avatar
LULUDBR\Lulu committed
67
</fx:root>