rem: if ($F('pattern') != this.graphView.patternSource) { 
add: if (this.graphView && $F('pattern') != this.graphView.patternSource) { 
context: graphController.updateButton = function() {    var e = $('graphButton');    if ($F('pattern') != this.graphView.patternSource) {        e.value = 'Update';        e.disabled = false;e    } else {        e.value = 'Up to date';        e.disabled = true;    }};
meta: 5392	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5392/4955b4e957fb1d75aaa23e1fc6a7eedda961e6a3/rework.js/buggy/tools/reanimator/rework.js