var $body = $('body');
var socket = io.connect('http://localhost');
var color_to_css = function(i) {
- index = i & 0xff
+ index = 0xff & i;
// lighten the basic 8 colors when they're bold
- if (i & 0x10000 && index < 8) {
+ if ((i & 0x10000) && index < 8) {
index += 8;
}
return 'color: #' + palette[index] + '; ';
return 'background-' + color_to_css((i&0x10000) | ((i&0xff00) >> 8));
};
var stylize = function (txt, style) {
- if (txt.length == 0 || style == 0) {
+ if (txt.length == 0 || style == 0x000007) {
return txt
}
css = ''
for (i in term.text) {
div = $('<div>');
txt = ''
- a = 0;
+ a = 0x000007;
for (j in term.text[i]) {
if (term.attributes[i][j] != a) {
if (txt.length) {