RLGWebD: rlgterm.js comparison

comparison rlgterm.js @ 78:06375a159188

Try to guess a good text size. When starting, resize the fonts if there isn't room for the terminal, or if there is a lot of empty space.

author	John "Elwin" Edwards <elwin@sdf.org>
date	Sat, 23 Jun 2012 19:13:34 -0700
parents	f8bb37f48d58
children	e04c8bf6d4da

comparison

equal deleted inserted replaced

-:f8bb37f48d58
+:06375a159188
 function setup() {
 keyHexCodes.init();
 termemu.init("termwrap", 24, 80);
 setTitle("Not connected.");
 setmode("login");
+/* Set up the text size. */
+var cssSize = termemu.view.style.fontSize;
+var match = cssSize.match(/\d*/);
+if (!match) {
+return;
+}
+var csize = Number(match[0]);
+var allscreen = document.getElementById("termwrap");
+while (csize > 9 && csize < 48) {
+if (allscreen.scrollWidth * 1.2 > window.innerWidth) {
+csize = textsize(false);
+}
+else if (allscreen.scrollWidth * 2 < window.innerWidth) {
+csize = textsize(true);
+}
+else
+break;
+}
 return;
 }
 function toggleshift() {
 termemu.toggleshift();
 }
 function textsize(larger) {
 var cssSize = termemu.view.style.fontSize;
 if (!cssSize) {
-return;
+return null;
 }
 var match = cssSize.match(/\d*/);
 if (!match) {
-return;
+return null;
 }
 var csize = Number(match[0]);
 var nsize;
 if (larger) {
 if (csize >= 48)
 var cssvalstr = nsize.toString() + "px";
 document.getElementById("term").style.fontSize = cssvalstr;
 document.getElementById("keys").style.fontSize = cssvalstr;
 termemu.fixsize();
 debug(1, "Changing font size to " + nsize.toString());
-return;
+return nsize;
 }
 function idlestr(ms) {
 if (typeof(ms) != "number")
 return "?";