0launch-gui

   1 #!/usr/bin/env python
   2 import os, sys
   3 from optparse import OptionParser
   4
   5 __builtins__._ = lambda x: x
   6
   7 parser = OptionParser(usage="usage: %prog [options] interface [args]")
   8 parser.add_option("-d", "--download-only", help="fetch but don't run", action='store_true')
   9 parser.disable_interspersed_args()
  10
  11 (options, args) = parser.parse_args()
  12
  13 if len(args) < 1:
  14         parser.print_help()
  15         sys.exit(1)
  16
  17 interface_uri = args[0]
  18 prog_args = args[1:]
  19
  20 import model
  21 from gui import GUIPolicy
  22 import gui, gtk
  23
  24 gtk.rc_parse_string('style "scrolled" { '
  25                     'GtkScrolledWindow::scrollbar-spacing = 0}\n'
  26                     'class "GtkScrolledWindow" style : gtk "scrolled"\n')
  27
  28 policy = GUIPolicy(interface_uri, prog_args,
  29                    download_only = bool(options.download_only))
  30 policy.main()