mirror of
https://github.com/GravitLauncher/Launcher
synced 2024-12-23 00:51:01 +03:00
[FEATURE] Параметр isPreset
This commit is contained in:
parent
f32844aa15
commit
76691da8c9
2 changed files with 3 additions and 0 deletions
|
@ -258,6 +258,7 @@ public void unmarkOptional(OptionalFile file) {
|
|||
file.mark = false;
|
||||
if (file.dependenciesCount != null) {
|
||||
for (OptionalFile f : file.dependenciesCount) {
|
||||
if(f.isPreset) continue;
|
||||
unmarkOptional(f);
|
||||
}
|
||||
file.dependenciesCount.clear();
|
||||
|
|
|
@ -33,6 +33,8 @@ public class OptionalFile {
|
|||
@LauncherAPI
|
||||
public int subTreeLevel = 1;
|
||||
@LauncherAPI
|
||||
public boolean isPreset;
|
||||
@LauncherAPI
|
||||
public long permissions = 0L;
|
||||
@LauncherAPI
|
||||
public transient Set<OptionalFile> dependenciesCount;
|
||||
|
|
Loading…
Reference in a new issue