### Eclipse Workspace Patch 1.0
#P org.sophie2.main.app.commons
|
|
|
92 | 92 | public BookExtrasState remove(ResourceRefR4 ref) { |
93 | 93 | assert this.knownExtras.contains(ref) : "The specified extra does not exist!"; |
94 | 94 | |
95 | | ResourceRefR4 current = ref.equals(this.currentExtra) ? null : ref; |
| 95 | ResourceRefR4 current = ref.equals(this.currentExtra) ? null : this.currentExtra; |
96 | 96 | ImmSet<ResourceRefR4> newShownExtras = |
97 | 97 | this.shownExtras.contains(ref) ? this.shownExtras.remove(ref) : this.shownExtras; |
98 | 98 | return new BookExtrasState(current, this.knownExtras.remove(ref), newShownExtras); |