open_in_ide.js

function highlight(stackTraceDiv) {
//replace filenames to link
	var text = stackTraceDiv.html();
	var highlighted = text.replace(/[0-9a-z_A-Z\-\.\/]+:\d+/g, '<a class="ide-link" href="/?message=$&">$&</a>');
	stackTraceDiv.html(highlighted);

//bind links click event
	$('a.ide-link').click(function(e) {
		e.preventDefault();
		var url = $(this).attr("href");
		$.getJSON('http://localhost:8091' + url + '&callback=?', function(json) {
			//do nothing
		});

	});
}