##// END OF EJS Templates
be pedantic about VT100 vs ANSI in comments
MinRK -
Show More
@@ -188,16 +188,16 b' IPython.utils = (function (IPython) {'
188 attrs["class"] += " " + ansi_colormap[n];
188 attrs["class"] += " " + ansi_colormap[n];
189 }
189 }
190 } else if (n == "38" || n == "48") {
190 } else if (n == "38" || n == "48") {
191 // 256-color
191 // VT100 256 color or 24 bit RGB
192 if (numbers.length < 2) {
192 if (numbers.length < 2) {
193 console.log("Not enough fields for 256-color escapes", numbers);
193 console.log("Not enough fields for VT100 color", numbers);
194 return;
194 return;
195 }
195 }
196
196
197 var index_or_rgb = numbers.shift();
197 var index_or_rgb = numbers.shift();
198 var r,g,b;
198 var r,g,b;
199 if (index_or_rgb == "5") {
199 if (index_or_rgb == "5") {
200 // indexed 256 color
200 // 256 color
201 var idx = parseInt(numbers.shift());
201 var idx = parseInt(numbers.shift());
202 if (idx < 16) {
202 if (idx < 16) {
203 // indexed ANSI
203 // indexed ANSI
General Comments 0
You need to be logged in to leave comments. Login now