improve operations popup menu for large nr of events

custom guard and parameter dialog entries at top
for large number of events

de.prob.ui/src/de/prob/ui/operationview/ParameterMenu.java

@@ -31,12 +31,15 @@ public class ParameterMenu extends ExtensionContributionFactory {
 
 		nondetcounter = 0;
 
+		if (operations.size()<=10) {
+			// if number of operations small: show enabled operations first
 			for (Operation operation : operations) {
 				long id = operation.getId();
 				additions.addContributionItem(
 						createEntry(serviceLocator, operation, id), null);
 
 			}
+		}
 
 		CommandContributionItemParameter contributionParameters = new CommandContributionItemParameter(
 				serviceLocator, "", "de.prob.ui.show_parameter_dialog",
@@ -54,6 +57,17 @@ public class ParameterMenu extends ExtensionContributionFactory {
 				contributionCustomGuard);
 		additions.addContributionItem(customGuardDialogItem, null);
 
+		if (operations.size()>10) {
+			// if number of operations large: show enabled operations last
+			// TODO: nested view according to parameters or group entries together into submenus of 20 operations or so
+			for (Operation operation : operations) {
+				long id = operation.getId();
+				additions.addContributionItem(
+						createEntry(serviceLocator, operation, id), null);
+
+			}
+		}
+
 	}
 
 	private CommandContributionItem createEntry(