diff editor.js @ 105:35006a6e1c47

Fixed more editor coderot and improved syntax/selection coloring a bit.
author Mike Pavone <pavone@retrodev.com>
date Thu, 11 Apr 2013 09:16:35 -0700
parents 648659961e0e
children d715fb3c39ab
line wrap: on
line diff
--- a/editor.js	Thu Apr 11 00:12:21 2013 -0700
+++ b/editor.js	Thu Apr 11 09:16:35 2013 -0700
@@ -97,7 +97,7 @@
 				textContent: parts[i] + (this.receiver && parts.length == 1 ? '' : ':'),
 				className: 'funpart',
 				onclick: function(event) {
-					mainModule.funClick(this, astNode, event);
+					main_module.funClick(this, astNode, event);
 				}}));
 			if (this.args[i]) {
 				this.args[i].toHTML(base);
@@ -116,7 +116,7 @@
 		className: 'symbol',
 		textContent: this.name,
 		onclick: function(event) {
-			mainModule.symbolClick(this, astNode, event);
+			main_module.symbolClick(this, astNode, event);
 		}
 	}));
 }