<!DOCTYPE html>
<html>
<head>
+ <link rel="stylesheet" href="css/prettify.css"/>
<link rel="stylesheet" href="css/jquery.fileupload-ui.css"/>
<link rel="stylesheet" href="css/jqueryFileTree.css"/>
<link rel="stylesheet" href="css/chosen-0.9.7.css"/>
"jquery.fileupload.ip":"jquery.fileupload-ip-1.0.6",
"jquery.fileupload.ui":"jquery.fileupload-ui-6.6.3",
"tmpl": "tmpl.min",
+ "prettify": "prettify",
"jqueryFileTree": "jqueryFileTree-1.0.1",
"redback": "redback/redback",
"redback.roles": "redback/roles",
* specific language governing permissions and limitations
* under the License.
*/
-define("search",["jquery","i18n","jquery.tmpl","choosen","order!knockout","knockout.simpleGrid","jqueryFileTree"], function() {
-
-
+define("search",["jquery","i18n","jquery.tmpl","choosen","order!knockout","knockout.simpleGrid","jqueryFileTree","prettify"]
+, function() {
//-----------------------------------------
// browse part
var text = data.replace(/</g,'<');
text=text.replace(/>/g,">");
mainContent.find("#artifact-content-text" ).html(text);
+ prettyPrint();
goToAnchor("artifact-content-text-header");
}
});
text=text.replace(/>/g,">");
mainContent.find("#artifact-content-text" ).html(smallSpinnerImg());
mainContent.find("#artifact-content-text" ).html(text);
+ prettyPrint();
goToAnchor("artifact-content-text-header");
}
});