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) {
@attributes = []
@x = 0
@y = 0
- @a = 0 # cursor attributes
+ @a = 0x000007 # cursor attributes
@partial = ''
@resize width, height
# remove all style/color
when '' # leading zeros are removed (even if that's all of them)
- @set_attribute_bits 0xffffff, 0
+ @set_attribute_bits 0xffffff, 0x000007
# style attributes
when '1' # bold
when '28' # not invisible
@set_attribute_bits 0x80000, 0
+ when '100' # reset colors but not other attributes
+ @set_attribute_bits 0xffff, 0x0007
+
# 8 fg colors
when '30' # fg black
@set_attribute_bits 0xff, 0x00