} else if (src == LogisimMenuBar.VIEW_TOOLBOX) {
frame.setExplorerView(Frame.VIEW_TOOLBOX);
} else if (src == LogisimMenuBar.VIEW_SIMULATION) {
frame.setExplorerView(Frame.VIEW_SIMULATION);
} else if (src == LogisimMenuBar.REVERT_APPEARANCE) {
proj.doAction(new RevertAppearanceAction(cur));
} else if (src == LogisimMenuBar.ANALYZE_CIRCUIT) {
ProjectCircuitActions.doAnalyze(proj, cur);
} else if (src == LogisimMenuBar.CIRCUIT_STATS) {
StatisticsDialog.show(frame, proj.getLogisimFile(), cur);
}