def beep(): """ Produce a beep. """ if sys.platform == 'win32': import winsound winsound.PlaySound('SystemAsterisk',winsound.SND_ALIAS | winsound.SND_ASYNC) elif settings.gtk_loaded(): import gtk gtk.gdk.beep() else: sys.stdout.write(chr(7)) sys.stdout.flush()
def browse_url(url): global gnome_initted if sys.platform == 'win32': try: import webbrowser webbrowser.open_new(url) except: raise error.Error('Opening a browser failed.') elif settings.gtk_loaded(): try: import gnome except: gnome = None if gnome and not gnome_initted: gnome.program_init('circle',__init__.__version__) gnome_initted = 1 if gnome: gnome.url_show(url) else: if not os.fork(): try: os.execlp('gnome-moz-remote','gnome-moz-remote','--newwin',url) except: try: os.execlp('mozilla','mozilla',url) except: raise error.Error('Opening a browser failed.') else: try: #if not os.fork(): #os.execlp('lynx','lynx',url) os.system("lynx "+quote_for_shell(url)) except: raise error.Error('Opening a browser failed.')