(ActionEvent event)
| 126 | } |
| 127 | |
| 128 | @FXML |
| 129 | void newPlainTextClicked(ActionEvent event) { |
| 130 | createTab(DocumentType.plain, null, false); |
| 131 | } |
| 132 | |
| 133 | Map<Tab, Program> openDocuments = new HashMap<>(); |
| 134 | Map<Option, Object> globalOptions = new EnumMap<>(Option.class); |