Ticket #2233: delete-annotation-sets.patch

File delete-annotation-sets.patch, 920 bytes (added by deni, 15 years ago)
  • src/main/java/org/sophie2/main/app/commons/book/BookExtrasState.java

    ### Eclipse Workspace Patch 1.0
    #P org.sophie2.main.app.commons
     
    9292        public BookExtrasState remove(ResourceRefR4 ref) { 
    9393                assert this.knownExtras.contains(ref) : "The specified extra does not exist!"; 
    9494                 
    95                 ResourceRefR4 current = ref.equals(this.currentExtra) ? null : ref; 
     95                ResourceRefR4 current = ref.equals(this.currentExtra) ? null : this.currentExtra; 
    9696                ImmSet<ResourceRefR4> newShownExtras =  
    9797                        this.shownExtras.contains(ref) ? this.shownExtras.remove(ref) : this.shownExtras; 
    9898                return new BookExtrasState(current, this.knownExtras.remove(ref), newShownExtras);