apertium-tools/apertium-view/widget.py

   1 import gtk.glade
   2
   3 try:
   4     import gtksourceview2 as sourceview
   5
   6 except:
   7     import SourceViewDummy as sourceview
   8
   9
  10 handlers = {}
  11
  12
  13 def gtk_handler(f):
  14     handlers[f.__name__] = f
  15     return f
  16
  17
  18 def glade_load_and_connect(fname, **kwargs):
  19     widget_tree = gtk.glade.XML(fname, **kwargs)
  20     widget_tree.signal_autoconnect(handlers)
  21     return widget_tree
  22
  23
  24 def make_source_view(text_buffer):
  25     text_view = sourceview.View(text_buffer)
  26     text_view.set_editable(True)
  27     text_view.set_wrap_mode(gtk.WRAP_WORD)
  28     text_view.show()
  29
  30     return text_view