/**
* Helper method that initializes the items for the context menu. This menu will include cut,
* copy, paste, undo/redo, and find/replace functionality.
*/
private void initContextMenu() {
contextPopup = new JPopupMenu();
// Edit menu stuff
contextPopup.add(GUIPrism.getClipboardPlugin().getUndoAction());
contextPopup.add(GUIPrism.getClipboardPlugin().getRedoAction());
contextPopup.add(new JSeparator());
contextPopup.add(GUIPrism.getClipboardPlugin().getCutAction());
contextPopup.add(GUIPrism.getClipboardPlugin().getCopyAction());
contextPopup.add(GUIPrism.getClipboardPlugin().getPasteAction());
contextPopup.add(GUIPrism.getClipboardPlugin().getDeleteAction());
contextPopup.add(new JSeparator());
contextPopup.add(GUIPrism.getClipboardPlugin().getSelectAllAction());
contextPopup.add(new JSeparator());
// Model menu stuff
contextPopup.add(((GUIMultiModel) handler.getGUIPlugin()).getParseModel());
contextPopup.add(((GUIMultiModel) handler.getGUIPlugin()).getBuildModel());
contextPopup.add(new JSeparator());
contextPopup.add(((GUIMultiModel) handler.getGUIPlugin()).getExportMenu());
contextPopup.add(((GUIMultiModel) handler.getGUIPlugin()).getViewMenu());
contextPopup.add(((GUIMultiModel) handler.getGUIPlugin()).getComputeMenu());
// contextPopup.add(actionJumpToError);
// contextPopup.add(actionSearch);
if (editor.getContentType().equals("text/prism")) {
JMenu insertMenu = new JMenu("Insert elements");
JMenu insertModelTypeMenu = new JMenu("Model type");
insertMenu.add(insertModelTypeMenu);
JMenu insertModule = new JMenu("Module");
insertMenu.add(insertModule);
JMenu insertVariable = new JMenu("Variable");
insertMenu.add(insertVariable);
insertModelTypeMenu.add(insertDTMC);
insertModelTypeMenu.add(insertCTMC);
insertModelTypeMenu.add(insertMDP);
// contextPopup.add(new JSeparator());
// contextPopup.add(insertMenu);
}
}
