/*
* This file is included in tophat_render.php
*/
+// Escape special characters in jQuery Selector
+function escape_id( myid ) {
+ return "#" + myid.replace( /(:|\.|\[|\])/g, "\\$1" );
+}
function getKeySplitId(id,separator){
// id of elements must respect this rule