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

<?import javafx.scene.control.*?>
<fx:root xmlns="http://javafx.com/javafx"
         xmlns:fx="http://javafx.com/fxml"
         prefHeight="400.0" prefWidth="600.0" type="javafx.scene.control.ContextMenu">
    <items>
        <MenuItem fx:id="openSequentMatcher" text="Open Sequent Matcher"/>
    </items>
</fx:root>