Changeset 855
- Timestamp:
- 06/04/07 01:24:28 (2 years ago)
- Files:
-
- 1 modified
-
trunk/jahtools/jbatch/jbatch_select.py (modified) (3 diffs)
Legend:
- Unmodified
- Added
- Removed
-
trunk/jahtools/jbatch/jbatch_select.py
r847 r855 18 18 self.root = "/" 19 19 self.list = [ ] 20 self.handler = self.play 20 21 21 22 frame = Tkinter.Frame( self ) … … 84 85 self.root = thing 85 86 else: 86 self. execute( [ thing, "." ])87 self.handler( thing ) 87 88 if up: 88 89 if self.root != "/": … … 92 93 if parent in self.list: 93 94 self.select( self.list.index( parent ) ) 94 95 96 def play( self, thing ): 97 self.execute( [ thing, "." ] ) 98 95 99 def select( self, request ): 96 100 self.list_.select_clear( 0, self.list_.size( ) )
