From: Wilmer Ricciotti <ricciott@cs.unibo.it>
Date: Wed, 13 Jul 2011 14:22:02 +0000 (+0000)
Subject: minor bugfix
X-Git-Tag: make_still_working~2389
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=b6253961f0507b33cce774c0307a2674ae9fb2d5;p=helm.git

minor bugfix
---

diff --git a/matitaB/matita/matitaweb.js b/matitaB/matita/matitaweb.js
index d0b5ce217..5cd0fef82 100644
--- a/matitaB/matita/matitaweb.js
+++ b/matitaB/matita/matitaweb.js
@@ -85,8 +85,8 @@ function pressmesg(w,e)
 {
    debug(w + '  keyCode=' + keyval(e.keyCode) +
                  ' which=' + keyval(e.which) +
-                 ' charCode=' + keyval(e.charCode));
-   debug('          shiftKey='+e.shiftKey
+                 ' charCode=' + keyval(e.charCode) +
+		 '\n          shiftKey='+e.shiftKey
 	      + ' ctrlKey='+e.ctrlKey
 	      + ' altKey='+e.altKey
 	      + ' metaKey='+e.metaKey);
@@ -112,6 +112,8 @@ function keypress(e)
 function debug(txt)
 {
         // internet explorer (v.9) doesn't work with innerHTML
+	// but google chrome's innerText is, in a sense, "write only"
+	// what should we do?
         logarea.innerText = txt + "\n" + logarea.innerText;
 }