1
0
mirror of https://github.com/arduino/Arduino.git synced 2024-12-01 12:24:14 +01:00

Increasing Recent files list from 5 to 10 elements. Fixes #4131

This commit is contained in:
Federico Fissore 2015-11-11 10:20:57 +01:00
parent 1bed568cd0
commit 375146cd91

View File

@ -81,7 +81,7 @@ public class Base {
public static final Predicate<UserLibrary> CONTRIBUTED = library -> library.getTypes() == null || library.getTypes().isEmpty() || library.getTypes().contains("Contributed");
public static final Predicate<UserLibrary> RETIRED = library -> library.getTypes() != null && library.getTypes().contains("Retired");
private static final int RECENT_SKETCHES_MAX_SIZE = 5;
private static final int RECENT_SKETCHES_MAX_SIZE = 10;
private static boolean commandLine;
public static volatile Base INSTANCE;