mirror of
https://github.com/2OOP/pism.git
synced 2026-02-04 02:44:50 +00:00
Added ability to remove a manager from VolumeTypes
This commit is contained in:
@@ -53,6 +53,12 @@ public enum VolumeTypes {
|
||||
}
|
||||
}
|
||||
|
||||
public void removeManager(AudioManager<? extends AudioResource> manager) {
|
||||
if (manager != null) {
|
||||
managers.remove(manager);
|
||||
}
|
||||
}
|
||||
|
||||
public List<AudioManager<? extends AudioResource>> getManagers() {
|
||||
return Collections.unmodifiableList(managers);
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user