From c65c51739a3ef389be2a6891417b869733748ae6 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Wed, 12 Dec 2007 22:43:15 +0000 Subject: [PATCH] add gnome-open browser option svn: r7980 --- collects/net/sendurl.ss | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/collects/net/sendurl.ss b/collects/net/sendurl.ss index db828f588a..90efd37b81 100644 --- a/collects/net/sendurl.ss +++ b/collects/net/sendurl.ss @@ -13,7 +13,7 @@ (define separate-by-default? (get-preference 'new-browser-for-urls (lambda () #t))) - (define unix-browser-list '(firefox galeon opera netscape mozilla dillo)) + (define unix-browser-list '(gnome-open firefox galeon opera netscape mozilla dillo)) ;; : any -> bool (define (custom-browser? x) @@ -77,6 +77,9 @@ [(use-browser 'galeon) => (lambda (exe) (browser-process* exe (if separate-window? "-w" "-x") url-str))] + [(use-browser 'gnome-open) + => (lambda (exe) + (browser-process* exe url-str))] [(or (use-browser 'netscape) (use-browser 'mozilla) (use-browser 'firefox))