Re: [PATCH 3/3 FIXED] help (Windows): Display HTML in default browser using Windows' shell API

On Jul 12, 2008, at 5:26 AM, Junio C Hamano wrote:

Steffen Prohaska [off-list ref] writes:

quoted

diff --git a/compat/mingw.c b/compat/mingw.c
index 3a05fe7..0ca73f7 100644
--- a/compat/mingw.c
+++ b/compat/mingw.c

@@ -1017,3 +1017,24 @@ sig_handler_t mingw_signal(int sig,  

sig_handler_t handler)
...
+void mingw_open_html(const char *unixpath)
+{
+	const char *htmlpath = make_backslash_path(unixpath);
+	printf("Launching default browser to display HTML ...\n");
+	ShellExecute(NULL, "open", htmlpath, NULL, "\\", 0);
+}

Do you mean to have that printf() or is it a leftover debugging  
statement?

I mean to have it.  It takes some time until a fresh browser starts up
if no browser has been running before.  Impatient people (like me) could
start believing that nothing would happen.  But this certainly depends
on your machine.  I run Windows inside a virtual machine on a Laptop,
which is probably rather slow compared to a desktop machine running
Windows natively.

	Steffen