Source Code for Module zeroinstall.gtkui.help_box

 1  """A dialog box for displaying help text.""" 
 2  # Copyright (C) 2009, Thomas Leonard 
 3  # See the README file for details, or visit http://0install.net. 
 4   
 5  import gtk 
 6  import sys 
 7   
 8 -class HelpBox(object): 
 9          """A dialog for showing longish help texts. 
10          The GTK widget is not created until L{display} is called. 
11          """ 
12          box = None 
13          title = None 
14          sections = None 
15   
16 -        def __init__(self, title, *sections): 
17                  """Constructor. 
18                  @param title: window title 
19                  @param sections: the content, as a list of (section_title, section_body) pairs 
20                  @type sections: [(str, str)]""" 
21                  self.title = title 
22                  self.sections = sections 
23           
24 -        def display(self): 
25                  """Display this help text. If it is already displayed, close the old window first.""" 
26                  if self.box: 
27                          self.box.destroy() 
28                          assert not self.box 
29   
30                  self.box = box = gtk.Dialog() 
31                  if sys.version_info[0] < 3: 
32                          self.box.set_has_separator(False) 
33                  self.box.set_position(gtk.WIN_POS_CENTER) 
34                  box.set_title(self.title) 
35   
36                  swin = gtk.ScrolledWindow(None, None) 
37                  swin.set_policy(gtk.POLICY_AUTOMATIC, gtk.POLICY_ALWAYS) 
38                  swin.set_shadow_type(gtk.SHADOW_IN) 
39                  swin.set_border_width(2) 
40                  box.get_content_area().pack_start(swin, True, True, 0) 
41   
42                  text = gtk.TextView() 
43                  text.set_left_margin(4) 
44                  text.set_right_margin(4) 
45                  text.set_wrap_mode(gtk.WRAP_WORD) 
46                  text.set_editable(False) 
47                  text.set_cursor_visible(False) 
48                  model = text.get_buffer() 
49                  titer = model.get_start_iter() 
50                  heading_style = model.create_tag(underline = True, scale = 1.2) 
51   
52                  first = True 
53                  for title, body in self.sections: 
54                          if first: 
55                                  first = False 
56                          else: 
57                                  model.insert(titer, '\n\n') 
58                          model.insert_with_tags(titer, title, heading_style) 
59                          model.insert(titer, '\n' + body.strip()) 
60                  swin.add(text) 
61   
62                  swin.show_all() 
63   
64                  box.add_button(gtk.STOCK_CLOSE, gtk.RESPONSE_CANCEL) 
65                  box.connect('response', lambda box, resp: box.destroy()) 
66   
67                  box.set_default_response(gtk.RESPONSE_CANCEL) 
68   
69                  def destroyed(box): 
70                          self.box = None 
71                  box.connect('destroy', destroyed) 
72   
73                  box.set_position(gtk.WIN_POS_CENTER) 
74                  box.set_default_size(gtk.gdk.screen_width() / 4, 
75                                        gtk.gdk.screen_height() / 3) 
76                  box.show() 
77