improved rendering a bit

Philip Guo · Philip Guo · commit 273a0997baa9 · 2013-07-11T22:38:55.000-04:00
diff --git a/v3/css/pytutor.css b/v3/css/pytutor.css
@@ -725,15 +725,25 @@ div.ExecutionVisualizer .highlight-legend {
 
 /* prev then curr, so curr gets precedence when both apply */
 div.ExecutionVisualizer .pycrazy-highlight-prev {
-  /*background-color: #F0F0EA;*/
+  background-color: #eeeeee; /*#F0F0EA;*/
+  /*
   text-decoration: none;
-  border-bottom: 1px solid #c9e6ca;
+  border-bottom: 1px solid #dddddd;
+  */
 }
 
 div.ExecutionVisualizer .pycrazy-highlight-cur {
-  /*background-color: #FFFF66;*/
-  color: #e93f34;
+  background-color: #FFFF66;
   /* aligned slightly higher than border-bottom */
-  text-decoration: underline;
+  /*
+  text-decoration: none;
+  border-bottom: 1px solid #e93f34;
+  */
 }
 
+div.ExecutionVisualizer .pycrazy-highlight-prev-and-cur {
+  background-color: #FFFF66;
+
+  text-decoration: none;
+  border-bottom: 1px solid #999999;
+}
diff --git a/v3/js/pytutor.js b/v3/js/pytutor.js
@@ -1425,7 +1425,7 @@ ExecutionVisualizer.prototype.updateOutput = function(smoothTransition) {
           var htmlEscapedChar = htmlspecialchars(codeAtLine[i]);
 
           if (isCur && isPrev) {
-            curLineHTML += '<span class="pycrazy-highlight-prev pycrazy-highlight-cur">' + htmlEscapedChar + '</span>';
+            curLineHTML += '<span class="pycrazy-highlight-prev-and-cur">' + htmlEscapedChar + '</span>';
           }
           else if (isPrev) {
             curLineHTML += '<span class="pycrazy-highlight-prev">' + htmlEscapedChar + '</span>';

Original file line number	Diff line number	Diff line change
`@@ -1425,7 +1425,7 @@ ExecutionVisualizer.prototype.updateOutput = function(smoothTransition) {`
`1425`	`1425`	`var htmlEscapedChar = htmlspecialchars(codeAtLine[i]);`
`1426`	`1426`
`1427`	`1427`	`if (isCur && isPrev) {`
`1428`		`- curLineHTML += '<span class="pycrazy-highlight-prev pycrazy-highlight-cur">' + htmlEscapedChar + '</span>';`
	`1428`	`+ curLineHTML += '<span class="pycrazy-highlight-prev-and-cur">' + htmlEscapedChar + '</span>';`
`1429`	`1429`	`}`
`1430`	`1430`	`else if (isPrev) {`
`1431`	`1431`	`curLineHTML += '<span class="pycrazy-highlight-prev">' + htmlEscapedChar + '</span>';`