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.')
