1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
|
# Copyright (C) 2009, Thomas Leonard
# See the README file for details, or visit http://0install.net.
import gtk
import os
from zeroinstall.gtkui import gtkutils
last_error = None
builderfile = os.path.join(os.path.dirname(__file__), 'zero-install.ui')
class Template(gtkutils.Template):
def __init__(self, root):
gtkutils.Template.__init__(self, builderfile, root)
class Dialog(gtk.Dialog):
def __init__(self):
gtk.Dialog.__init__(self)
self.set_has_separator(False)
self.set_position(gtk.WIN_POS_CENTER)
def add_mixed_button(self, message, stock, response):
button = MixedButton(message, stock)
button.set_flags(gtk.CAN_DEFAULT)
self.add_action_widget(button, response)
button.show_all()
return button
def alert(parent, message, type = gtk.MESSAGE_ERROR):
if type == gtk.MESSAGE_ERROR:
global last_error
last_error = message
gtkutils.show_message_box(parent, message, type)
DialogResponse = gtkutils.DialogResponse
ButtonClickedBlocker = gtkutils.ButtonClickedBlocker
MixedButton = gtkutils.MixedButton
|