← Back to branch summary

~stephen-j-boddy/terminator/bugfix-lp-1055978

« back to all changes in this revision

Viewing changes to terminatorlib/paned.py

  • Committer: Chris Jones
  • Date: 2012-07-10 19:32:37 UTC
  • mfrom: (1309.5.2 bugfix-lp-1017230)
  • Revision ID: cmsj@tenshu.net-20120710193237-3sg6x8ur8qsi9dv0
Merge a branch from Stephen J Boddy that fixes a dragging bug.

Show diffs side-by-side

added added

removed removed

Lines of Context:
terminatorlib/paned.py
43
43
            container = VPaned()
44
44
        else:
45
45
            container = HPaned()
 
46
        
 
47
        self.get_toplevel().set_pos_by_ratio = True
46
48
 
47
49
        if not sibling:
48
50
            sibling = self.maker.make('terminal')
60
62
            container.add(terminal)
61
63
 
62
64
        self.show_all()
 
65
        
 
66
        while gtk.events_pending():
 
67
            gtk.main_iteration_do(False)
 
68
        self.get_toplevel().set_pos_by_ratio = False
 
69
 
63
70
 
64
71
    def add(self, widget, metadata=None):
65
72
        """Add a widget to the container"""
361
368
            container.add(child)
362
369
 
363
370
    def new_size(self, widget, allocation):
 
371
        if self.get_toplevel().set_pos_by_ratio:
 
372
            self.set_position_by_ratio()
 
373
        else:
 
374
            self.set_position(self.get_position())
 
375
    
 
376
    def set_position_by_ratio(self):
364
377
        self.set_pos(int(self.ratio*self.get_length()))
365
378
 
366
379
    def set_position(self, pos):