rem: editor.view.refresh(); 
context: Editor.checkTimestamp = function() {	editor.log.debug('checkTimestamp');	if (editor.testCase.checkTimestamp()) {		if (window.confirm(Editor.getString('confirmReload'))) {			var testCase = editor.currentFormat.loadFile(editor.testCase.file);			if (testCase) {				editor.setTestCase(testCase);				editor.view.refresh();			}		}	}}
meta: 3175	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/3175/593d8b5a6ee9a382e8159e89ccba637185daef8a/editor.js/clean/src/content/editor.js