Method createTab

src/main/java/jace/ide/IdeController.java:136–145

(DocumentType type, File document, boolean isBlank)

    Map<Option, Object> globalOptions = new EnumMap<>(Option.class);

    private Program createTab(DocumentType type, File document, boolean isBlank) {
        WebView editor = new WebView();
        Program proxy = new Program(type, globalOptions);
        proxy.initEditor(editor, document, isBlank);
        Tab t = new Tab(proxy.getName(), editor);
        tabPane.getTabs().add(t);
        openDocuments.put(t, proxy);
        t.setOnCloseRequest(this::handleCloseTabRequest);
        return proxy;
    }

    private void handleCloseTabRequest(Event e) {
        Tab t = (Tab) e.getTarget();