← Back to branch summary

~exaile-bugday/+junk/exaile

« back to all changes in this revision

Viewing changes to xlgui/tray.py

  • Committer: Mathias Brodala
  • Date: 2009-07-25 20:15:28 UTC
  • Revision ID: info@noctus.net-20090725201528-gbzsi1tvr2olmqdh
* Add ShortcutListPrefsItem for simple editing of keyboard shortcuts

Show diffs side-by-side

added added

removed removed

Lines of Context:
xlgui/tray.py
67
67
        if self.player.current is None:
68
68
            self.icon.set_from_icon_name('exaile')
69
69
        elif self.player.is_paused():
70
 
            self.icon.set_from_icon_name('exaile-pause')
 
70
            self.icon.set_from_stock('gtk-media-pause')
71
71
        else:
72
 
            self.icon.set_from_icon_name('exaile-play')
 
72
            self.icon.set_from_stock('gtk-media-play')
73
73
        self.set_tooltip(_("Exaile Music Player"))
74
74
 
75
75
        event.add_callback(self._on_playback_change_state, 'playback_player_start')
78
78
        event.log_event('tray_icon_toggled', self, True)
79
79
 
80
80
    def set_tooltip(self, tip):
81
 
        """
82
 
            Sets the tooltip for the tray icon
83
 
        """
84
81
        self.icon.set_tooltip(tip)
85
82
 
86
83
    def destroy(self):
89
86
        """
90
87
        self.emit('toggle-tray')
91
88
        if not self.window.get_property('visible'):
92
 
            self.window.deiconify()
93
89
            self.window.present()
94
90
        self.menu = None
95
91
        self.icon = None
102
98
        """
103
99
        self.menu = guiutil.Menu()
104
100
 
 
101
        self.playpause_image = gtk.Image()
 
102
        self.playpause_image.set_from_stock('gtk-media-play',
 
103
            gtk.ICON_SIZE_MENU)
 
104
        self.label = gtk.Label(_("Play"))
 
105
        self.label.set_alignment(0, 0)
 
106
 
105
107
        self.playpause = self.menu.append(stock_id='gtk-media-play',
106
108
            callback=lambda *e: self._play_pause_clicked())
107
109
        self.menu.append(stock_id='gtk-media-next',
187
189
        if player.current is None:
188
190
            self.icon.set_from_icon_name('exaile')
189
191
        elif player.is_paused():
190
 
            self.icon.set_from_icon_name('exaile-pause')
 
192
            self.icon.set_from_stock('gtk-media-pause')
191
193
        else:
192
 
            self.icon.set_from_icon_name('exaile-play')
 
194
            self.icon.set_from_stock('gtk-media-play')
193
195
 
194
196
    def _button_pressed(self, icon, event):
195
197
        if event.button == 1:
197
199
            if not toggle_handled and self.window.is_active():
198
200
                self.window.hide()
199
201
            elif not toggle_handled:
200
 
                self.window.deiconify()
201
202
                self.window.present()
202
203
        if event.button == 2:
203
204
            self._play_pause_clicked()
224
225
        if not toggle_handled and self.window.is_active():
225
226
            self.window.hide()
226
227
        elif not toggle_handled:
227
 
            self.window.deiconify()
228
228
            self.window.present()
229
229
 
230
230
    def _query_tooltip(self, *e):