comparison rlgterm.js @ 77:f8bb37f48d58

Make font resizing affect the keyboard too. The keyboard font size now changes along with the terminal font size. This allows the keyboard to work at page widths down at least to 600px.
author John "Elwin" Edwards <elwin@sdf.org>
date Sat, 23 Jun 2012 17:41:27 -0700
parents a497ecd116d9
children 06375a159188
comparison
equal deleted inserted replaced
76:a497ecd116d9 77:f8bb37f48d58
820 else if (csize <= 48) 820 else if (csize <= 48)
821 nsize = csize - 4; 821 nsize = csize - 4;
822 else 822 else
823 nsize = 48; 823 nsize = 48;
824 } 824 }
825 document.getElementById("term").style.fontSize = nsize.toString() + "px"; 825 var cssvalstr = nsize.toString() + "px";
826 document.getElementById("term").style.fontSize = cssvalstr;
827 document.getElementById("keys").style.fontSize = cssvalstr;
826 termemu.fixsize(); 828 termemu.fixsize();
827 debug(1, "Changing font size to " + nsize.toString()); 829 debug(1, "Changing font size to " + nsize.toString());
828 return; 830 return;
829 } 831 }
830 832