Ignore:
Timestamp:
03/10/15 14:59:28 (10 years ago)
Author:
sherbold
Message:
  • altIndex now a mutable int that should be the same object in all merged GUI elements.
File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/autoquest-plugin-jfc/src/main/java/de/ugoe/cs/autoquest/plugin/jfc/guimodel/JFCGUIElementSpec.java

    r1722 r1904  
    1919 
    2020import org.apache.commons.collections15.CollectionUtils; 
     21import org.apache.commons.lang.mutable.MutableInt; 
    2122 
    2223import de.ugoe.cs.autoquest.eventcore.guimodel.IGUIElement; 
     
    8081     * counted separately. This index is used for replaying programs such as Jacareto. 
    8182     * </p> 
    82      */ 
    83     private int altIndex = -1; 
     83     */     
     84    private MutableInt altIndex = new MutableInt(-1); 
    8485 
    8586    /** 
     
    308309     */ 
    309310    public int getAltIndex() { 
    310         return altIndex; 
     311        return altIndex.intValue(); 
    311312    } 
    312313 
     
    331332     */ 
    332333    public void setAltIndex(int newAltIndex) { 
    333         altIndex = newAltIndex; 
     334        altIndex.setValue(newAltIndex); 
    334335    } 
    335336 
     
    440441                setName(other.name); 
    441442            } 
     443            other.altIndex = this.altIndex; 
    442444        } 
    443445    } 
Note: See TracChangeset for help on using the changeset viewer.