Fix plotly label bug

Author: BruceSherwood

ForInstalledPython/glow.min.js

@@ -1410,7 +1410,7 @@ $(function () {
 
         pageBody.html(page)
 
-        // I decided to process shortcuts myself instead of relying on ACE, because 
+        // I (David Scherer) decided to process shortcuts myself instead of relying on ACE, because 
         // ACE might not always have focus
         $(document).keydown( shortcutKey )
         onNavigate.on( function(cb) { $(document).off("keydown", shortcutKey); cb() } )
@@ -1424,7 +1424,7 @@ $(function () {
             }
             if (ev.ctrlKey && ev.keyCode == "2".charCodeAt(0)) {
                 ev.preventDefault()
-                // If I don't pass anything for features, I get a new tab instead
+                // If I don't pass anything for features, I get a new tab instead of a separate window
                 var features = "titlebar=yes,location=yes,resizable=yes,scrollbars=yes,status=yes,toolbar=yes"
                 window.open("/#/", "GlowScriptRun", features)
                 window.open(run_link, "GlowScriptRun", features)

ide/ide.js

@@ -1260,8 +1260,8 @@ where compile() was called, in untrusted/run.js.
 		// console.log('classmethods', classmethods)
 		// console.log('============================================================================')
 		// let i = program.search('"2";')
-		let i = program.search('async function __main__')
-		console.log(program.slice(i))
+		// let i = program.search('async function __main__')
+		// console.log(program.slice(i))
 		// console.log(program)
 		return program
     } // end of compile function

lib/compiling/GScompiler.js

@@ -981,6 +981,15 @@
         }
         */
         this.__graph.add_to_graph(this) // this sets this.__id
+
+		// If fast == False we invoke plotly, and plotly doesn't display a label 
+		// if there is only one active object in the graph. The following code
+		// adds a gcurve to the first object and plots at (0,0), which has the
+		// effect of forcing display of the label of the first object.
+		if (!this.__graph.fast && this.__graph.graph_series.length == 1) {
+			let gc = gcurve()
+			gc.plot(0,0)
+		}
 
         this.remove = function() { // JavaScript forbids anything.delete(), so in preprocessing we change .delete to .remove
         	this.data = []