diff --git a/de.prob.ui/src/de/prob/ui/operationview/ParameterMenu.java b/de.prob.ui/src/de/prob/ui/operationview/ParameterMenu.java
index 7405a6bdfb9e17600342de6cef552c229fd8a72e..5b19cc4dc905ea0438ba2d807a9e4858ab06fbee 100644
--- a/de.prob.ui/src/de/prob/ui/operationview/ParameterMenu.java
+++ b/de.prob.ui/src/de/prob/ui/operationview/ParameterMenu.java
@@ -31,11 +31,14 @@ public class ParameterMenu extends ExtensionContributionFactory {
 
 		nondetcounter = 0;
 
-		for (Operation operation : operations) {
-			long id = operation.getId();
-			additions.addContributionItem(
-					createEntry(serviceLocator, operation, id), null);
-
+		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(
@@ -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(