# HG changeset patch
# User Adam Chlipala <adamc@hcoop.net>
# Date 1238684234 14400
# Node ID 3b46548f701b0872156d122346cde605c7035383
# Parent  c73c5fe72388452c3d541f7d970f7939ab96be45
Don't self-update ctextboxes unnecessarily

diff -r c73c5fe72388 -r 3b46548f701b lib/js/urweb.js
--- a/lib/js/urweb.js	Thu Apr 02 10:55:00 2009 -0400
+++ b/lib/js/urweb.js	Thu Apr 02 10:57:14 2009 -0400
@@ -88,7 +88,7 @@
   var x = document.createElement(t);
   x.value = s.v;
   addNode(x);
-  s.h = cons(function() { x.value = s.v }, s.h);
+  s.h = cons(function() { if (x.value != s.v) x.value = s.v }, s.h);
   x.onkeyup = function() { sv(s, x.value) };
   return x;
 }