From 8ccbe74e5ed8546e753c97ae57e90a066a230164 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Mon, 25 Jan 2010 20:00:32 +0000 Subject: [PATCH] don't open url twice svn: r17824 --- collects/scribble/tools/drscheme-buttons.ss | 1 - 1 file changed, 1 deletion(-) diff --git a/collects/scribble/tools/drscheme-buttons.ss b/collects/scribble/tools/drscheme-buttons.ss index 31bc41be41..a40503e06c 100644 --- a/collects/scribble/tools/drscheme-buttons.ss +++ b/collects/scribble/tools/drscheme-buttons.ss @@ -40,7 +40,6 @@ (dynamic-require 'scribble/run #f) (cond [(equal? label "HTML") - (system (format "firefox ~a" (path-replace-suffix name suffix))) (send-url/file (path-replace-suffix fn suffix))] [else (system (format "open ~a" (path-replace-suffix name suffix)))])) (message-box "Scribble" (get-output-string p) drs-frame))