# HG changeset patch
# User wenzelm
# Date 1558725242 -7200
# Node ID 85de4fdec61b4c19b5491e61b637b66ae247ef97
# Parent  2e101846ad8f751ba0c6b843c226c448cbee14e1
more robust InstallPath (amending 4ce07be8ba17): self-directory may be odd temp dir produced by browser "Run" operation;

diff -r 2e101846ad8f -r 85de4fdec61b Admin/Windows/Installer/sfx.txt
--- a/Admin/Windows/Installer/sfx.txt	Fri May 24 20:16:35 2019 +0200
+++ b/Admin/Windows/Installer/sfx.txt	Fri May 24 21:14:02 2019 +0200
@@ -1,6 +1,6 @@
 ;!@Install@!UTF-8!
 GUIFlags="64"
-InstallPath="%%S"
+InstallPath="%UserDesktop%"
 BeginPrompt="Unpack {ISABELLE_NAME}?"
 ExtractPathText="Target directory"
 ExtractTitle="Unpacking {ISABELLE_NAME} ..."