rem: window.setTimeout(function() { if (document.xformsPreviousValueChanged) { xformsValueChanged(document.xformsPreviousValueChanged, null); document.xformsPreviousValueChanged = null; } 
add: xformsAddEventListener(control, "keyup", function(event) { xformsValueChanged(getEventTarget(event), null); 
context:                     window.setTimeout(function() {                        if (document.xformsPreviousValueChanged) {                            xformsValueChanged(document.xformsPreviousValueChanged, null);                            document.xformsPreviousValueChanged = null;                        }                    });
meta: 9823	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9823/d02e56b27bcca838dc919a23e4c1a39072e2f4bb/xforms.js/clean/src/examples/web/ops/javascript/xforms.js