mirror of
https://github.com/esp8266/Arduino.git
synced 2025-06-17 22:23:10 +03:00
Library Manager: added Type filter dropdown
This commit is contained in:
@ -190,6 +190,11 @@ public class UserLibrary extends ContributedLibrary {
|
||||
return category;
|
||||
}
|
||||
|
||||
@Override
|
||||
public List<String> getTypes() {
|
||||
return Arrays.asList("Contributed");
|
||||
}
|
||||
|
||||
@Override
|
||||
public String getLicense() {
|
||||
return license;
|
||||
|
Reference in New Issue
Block a user