Method getCurrentTab

src/main/java/jace/ide/IdeController.java:92–94

()

    }

    public Optional<Tab> getCurrentTab() {
        return Optional.ofNullable(tabPane.getSelectionModel().getSelectedItem());
    }

    public Optional<Program> getCurrentProgram() {
        return getCurrentTab().map(t -> openDocuments.get(t));