Changed order in model context menu.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@912 bbc10eb1-c90d-0410-af57-cb519fbb1720

prism/src/userinterface/model/GUITextModelEditor.java

@@ -448,22 +448,24 @@ public class GUITextModelEditor extends GUIModelEditor implements DocumentListen
 	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(((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(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);