/b-gtk/fix-viz

To get this branch, use:
bzr branch http://gegoxaren.bato24.eu/bzr/b-gtk/fix-viz

« back to all changes in this revision

Viewing changes to diff.py

  • Committer: Daniel Schierbeck
  • Date: 2007-10-14 01:02:38 UTC
  • Revision ID: daniel.schierbeck@gmail.com-20071014010238-6axx7nks1zxds7s8
Made the diff viewer close on Ctrl-W and Ctrl-Q.

Show diffs side-by-side

added added

removed removed

Lines of Context:
diff.py
44
44
    differences between two revisions on a branch.
45
45
    """
46
46
 
47
 
    def __init__(self):
 
47
    def __init__(self, parent=None):
48
48
        gtk.Window.__init__(self, gtk.WINDOW_TOPLEVEL)
49
49
        self.set_border_width(0)
50
50
        self.set_title("bzrk diff")
56
56
        height = int(monitor.height * 0.66)
57
57
        self.set_default_size(width, height)
58
58
 
 
59
        self._parent = parent
 
60
        self.connect('key-press-event', self._on_key_pressed)
 
61
        if parent is None:
 
62
            self.connect('delete-event', gtk.main_quit)
 
63
 
59
64
        self.construct()
60
65
 
61
66
    def construct(self):
316
321
            colors[key.strip()] = val.strip()
317
322
        return colors
318
323
 
 
324
    def _on_key_pressed(self, widget, event):
 
325
        """ Key press event handler. """
 
326
        keyname = gtk.gdk.keyval_name(event.keyval)
 
327
        func = getattr(self, '_on_key_press_' + keyname, None)
 
328
        if func:
 
329
            return func(event)
 
330
 
 
331
    def _on_key_press_w(self, event):
 
332
        if event.state & gtk.gdk.CONTROL_MASK:
 
333
            self.destroy()
 
334
            if self._parent is None:
 
335
                gtk.main_quit()
 
336
 
 
337
    def _on_key_press_q(self, event):
 
338
        if event.state & gtk.gdk.CONTROL_MASK:
 
339
            gtk.main_quit()
 
340
    
 
341