# HG changeset patch
# User wenzelm
# Date 1385903373 -3600
# Node ID 6ad5242deaa7b9243c4efe0d04747a28dc57b8d6
# Parent  d9c88171b393c201bb71f92e9f910f895ed9a438
specific application name for official bundle (as for Mac OS X);

diff -r d9c88171b393 -r 6ad5242deaa7 Admin/lib/Tools/makedist_bundle
--- a/Admin/lib/Tools/makedist_bundle	Sun Dec 01 13:54:41 2013 +0100
+++ b/Admin/lib/Tools/makedist_bundle	Sun Dec 01 14:09:33 2013 +0100
@@ -147,6 +147,9 @@
 
 # platform-specific setup (inside archive)
 
+perl -pi -e "s,view.title=Isabelle/jEdit,view.title=${ISABELLE_NAME},g;" \
+  "$ISABELLE_TARGET/src/Tools/jEdit/dist/properties/jEdit.props"
+
 case "$PLATFORM_FAMILY" in
   linux)
     purge_contrib '-name "x86*-darwin" -o -name "x86*-cygwin" -o -name "x86*-windows"'