context: 	update: function(markdown){		var wrapper = $('docs-wrapper'), submenu = $('submenu');		if (!submenu) submenu = new Element('div').set('id', 'submenu');				var parse = Docs.parse(markdown);		wrapper.set('html', parse.innerHTML);		$E('#menu-wrapper h3.selected').getParent().grab(submenu.empty());					var methods = Docs.methods(parse, submenu);		Docs.scroll();	},
meta: 5237	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5237/ffab12d3ca21739cfc070c57fdb220ca5f412019/docs.js/clean/Docs/assets/docs.js