- Timestamp:
 - 07/06/09 11:14:03 (16 years ago)
 - File:
 - 
      
- 1 edited
 
- 
          
  trunk/python/selector.py (modified) (1 diff)
 
 
Legend:
- Unmodified
 - Added
 - Removed
 
- 
      
trunk/python/selector.py
r1576 r1596 205 205 Merge two selections. 206 206 """ 207 if self.is_empty(): 208 return other 209 elif other.is_empty(): 210 return self 207 211 union = selector() 208 212 gets = [[self._getscans(), other._getscans(), union._setscans],  
  Note:
 See   TracChangeset
 for help on using the changeset viewer.
  