On the share/export page, document additional export options

Author: BruceSherwood

css/ide.css

@@ -266,7 +266,7 @@ a.button
 .embedSource, .frameSource
 {
 	width: 80%;
-	height: 15em;
+	height: 30em;
 	overflow: scroll;	
 }
 

ide/ide.js

@@ -1108,8 +1108,8 @@ $(function () {
                         '<script type="text/javascript" src="'+exporturl+'lib/jquery/' + verdir + '/jquery-ui.custom.min.js"></script>\n' +
                         '<script type="text/javascript" src="'+exporturl+'package/glow.' + header.version + '.min.js"></script>\n' +
                         runner +
-                        '<script type="text/javascript"><!--//--><![CDATA[//><!--\n' +
-                        embedScript +
+                        '<script type="text/javascript"><!--//--><![CDATA[//><!--\n\n// START JAVASCRIPT\n' +
+                        embedScript + '\n// END JAVASCRIPT\n' +
                         '\n//--><!]]></script>' +
                         '\n</div>');
                     page.find(".embedSource").text( embedHTML )

ide/index.html

@@ -247,17 +247,29 @@ <h2>G l o w S c r i p t&nbsp;&nbsp; 2.7</h2>
     <b>The program must be in a public folder, not a private folder.</b></li>
     <li>You can publish a link to an entire <b>public</b> folder: <a class="folder-link"></a>.</li>
     <li>Export: you can <em>embed</em> the program, including from a private folder,
-    directly in your own web page, using the following HTML.
+    directly in your own web page, using the HTML provided below.
     If your page already uses jquery, you should delete that &lt;script&gt; tag.
-    <span class="embedWarning errorText"></span>
-    <p><textarea class="embedSource"></textarea></p>
     </li>
+    <li>Another option is to save the HTML in a file ending in ".html". Doubleclick this file and it
+    will run in your browser. 
+    You can place this file on a web site and run the program in a browser by giving the URL.</li>
+    <li>You may have a need to allow anyone to run the program but to keep the program's original source code private.
+    It is not possible to hide JavaScript code from a user of the program (rightclick the web page and
+    choose "View page source" or use the browser debugger), but you can "minify" the program to make
+    it so difficult to read as to make it effectively private. To do this, in the HTML code above, copy the code from "// START JAVASCRIPT"
+    through "// END JAVASCRIPT" and paste it into a "minifier" such as the one at
+    <a href="https://javascript-minifier.com" target="_blank">javascript-minifier.com</a>, and then replace the START-END code with
+    the output of the minifier. You will see that it is very difficult to understand the minified program, even if
+    you pass it through a "beautifier" program, because many of the variable names have been replaced by single letters.
+    </ul>
     <!--
     <li>You can <em>frame</em> the program, using the following HTML
     (<b>Warning:</b> this doesn't actually work yet!):
     <p><textarea class="frameSource"></pre></textarea></p>
     </ul>
     -->
+    <span class="embedWarning errorText"></span>
+    <p><textarea class="embedSource"></textarea></p>
 </div>
 
 <!-- <script type="text/javascript" language="javascript" src="lib/require.min.js"></script> -->