- Timestamp:
- 07/06/09 11:14:03 (15 years ago)
- File:
-
- 1 edited
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.