mirror of
https://github.com/arduino/Arduino.git
synced 2025-01-30 19:52:13 +01:00
Only sort ideLibs if it's not empty
This commit is contained in:
parent
7235f9dc15
commit
9b324bc9cc
@ -1261,8 +1261,8 @@ public class Base {
|
||||
}
|
||||
|
||||
// Add examples from libraries
|
||||
ideLibs.sort();
|
||||
if (!ideLibs.isEmpty()) {
|
||||
ideLibs.sort();
|
||||
label = new JMenuItem(tr("Examples from Built-in Libraries"));
|
||||
label.setEnabled(false);
|
||||
menu.add(label);
|
||||
|
Loading…
x
Reference in New Issue
Block a user