zeroinstall/0launch-gui/dialog.py

   1 # Copyright (C) 2009, Thomas Leonard
   2 # See the README file for details, or visit http://0install.net.
   3
   4 import gtk
   5 import os
   6 from zeroinstall.support import tasks
   7 from zeroinstall.gtkui import gtkutils
   8
   9 n_windows = 0
  10
  11 last_error = None
  12
  13 builderfile = os.path.join(os.path.dirname(__file__), 'zero-install.ui')
  14
  15 class Template(gtkutils.Template):
  16         def __init__(self, root):
  17                 gtkutils.Template.__init__(self, builderfile, root)
  18
  19 class Dialog(gtk.Dialog):
  20         def __init__(self):
  21                 gtk.Dialog.__init__(self)
  22                 self.set_has_separator(False)
  23                 self.set_position(gtk.WIN_POS_CENTER)
  24
  25         def add_mixed_button(self, message, stock, response):
  26                 button = MixedButton(message, stock)
  27                 button.set_flags(gtk.CAN_DEFAULT)
  28
  29                 self.add_action_widget(button, response)
  30                 button.show_all()
  31                 return button
  32
  33 class DialogResponse(tasks.Blocker):
  34         response = None
  35         def __init__(self, dialog):
  36                 tasks.Blocker.__init__(self, dialog.get_title())
  37                 a = None
  38                 def response(d, resp):
  39                         self.response = resp
  40                         d.disconnect(a)
  41                         self.trigger()
  42                 a = dialog.connect('response', response)
  43
  44 class ButtonClickedBlocker(tasks.Blocker):
  45         def __init__(self, button):
  46                 tasks.Blocker.__init__(self, "Button click")
  47                 a = None
  48                 def clicked(b):
  49                         b.disconnect(a)
  50                         self.trigger()
  51                 a = button.connect('clicked', lambda b: self.trigger())
  52
  53 def alert(parent, message, type = gtk.MESSAGE_ERROR):
  54         if type == gtk.MESSAGE_ERROR:
  55                 global last_error
  56                 last_error = message
  57
  58         gtkutils.show_message_box(parent, message, type)
  59
  60 def MixedButton(message, stock, x_align = 0.5, button = None):
  61         if button is None:
  62                 button = gtk.Button()
  63
  64         label = gtk.Label('')
  65         label.set_text_with_mnemonic(message)
  66         label.set_mnemonic_widget(button)
  67
  68         image = gtk.image_new_from_stock(stock, gtk.ICON_SIZE_BUTTON)
  69         box = gtk.HBox(False, 2)
  70         align = gtk.Alignment(x_align, 0.5, 0.0, 0.0)
  71
  72         box.pack_start(image, False, False, 0)
  73         box.pack_end(label, False, False, 0)
  74
  75         button.add(align)
  76         align.add(box)
  77         return button