Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Sign up
Appearance settings

Commit 83eea77

Browse files
committed
Avoid custom menus random order
1 parent 0acda57 commit 83eea77

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

‎app/src/processing/app/Base.java‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1432,7 +1432,7 @@ public void actionPerformed(ActionEvent actionevent) {
14321432
boardMenu.add(new JSeparator());
14331433

14341434
// Generate custom menus for all platforms
1435-
Set<String> customMenusTitles = new HashSet<>();
1435+
Set<String> customMenusTitles = new TreeSet<>();
14361436
for (TargetPackage targetPackage : BaseNoGui.packages.values()) {
14371437
for (TargetPlatform targetPlatform : targetPackage.platforms()) {
14381438
customMenusTitles.addAll(targetPlatform.getCustomMenus().values());

0 commit comments

Comments
(0)

AltStyle によって変換されたページ (->オリジナル) /