var showMultipleFilesSelection = function(files)
{
hideNotification();
setTitle("");
var div = $("diff");
var contents = '
' +
'
Multiple Selection
';
contents += "
";
for (var i = 0; i < files.length; ++i)
{
var file = files[i];
contents += "- " + file.path + "
";
}
contents += "
";
div.innerHTML = contents;
div.style.display = "";
}