+ order in menu labels

SE/static/p5UI/initP5MainMenuDropdown.js

@@ -82,6 +82,14 @@ function renderP5MainMenuDropdown(data, idSubMenu) {
 			label: (item.short_label !== item.desc) ? item.short_label : item.desc,
 		}
 	});
+	DBG && console.log('DBG:renderP5MainMenuDropdown labels', labels)
+	labels.sort(function (item1, item2) {
+		var l1 = item1.label.toLowerCase()
+		var l2 = item2.label.toLowerCase()
+		if (l1 < l2) { return -1; }
+		if (l1 > l2) { return 1; }
+		return 0
+	})
 	var groupeByLabel = labels.reduce(function (ret, item) {
 		if (!ret.length) return [ { prefix: item.label, labels: [ item ] } ];