← Back to branch summary

~pyroom-dev/pyroom/trunk

« back to all changes in this revision

Viewing changes to gui.py

  • Committer: Bruno Bord
  • Date: 2008-02-16 18:26:43 UTC
  • Revision ID: bruno@la-chose-20080216182643-nmrdkr9vl741sm8l
I18n on some strings added by Adam.
quicks cleanups, nothing serious

Show diffs side-by-side

added added

removed removed

Lines of Context:
gui.py
49
49
 
50
50
 
51
51
 
52
 
        
 
52
 
53
53
        self.hbox = gtk.HBox()
54
54
        self.hbox.set_spacing(12)
55
55
        self.hbox.pack_end(self.status, True, True, 0)
70
70
    def destroy(self, widget, data=None):
71
71
        """ Quit """
72
72
        gtk.main_quit()
73
 
        
 
73
 
74
74
    def scroll_event(self, widget, event):
75
 
        """\" Scroll event dispatcher """
 
75
        """ Scroll event dispatcher """
76
76
 
77
77
        if event.direction == gtk.gdk.SCROLL_UP:
78
78
            self.scroll_up()
79
79
        elif event.direction == gtk.gdk.SCROLL_DOWN:
80
80
            self.scroll_down()
81
 
            
 
81
 
82
82
    def scroll_down(self):
83
83
        """ Scroll window down """
84
84
 
109
109
        self.style['fontsize'] -= 1
110
110
        self.apply_style()
111
111
        self.status.set_text(_('Font size decreased'))
112
 
        
 
112
 
113
113
    def apply_style(self, style=None):
114
114
        """ """
115
115
 
152
152
        self.fixed.move(self.vbox, int(((1 - self.style['size'][0]) * w)/ 2),
153
153
            int(((1 - self.style['size'][1]) * h) / 2))
154
154
        self.textbox.set_border_width(self.style['padding'])
155
 
 
156