+++ /dev/null
-attachEvt('result', 'allRecordsReceived', insertTip);\r
-\r
-/*\r
-var user_tips = [\r
- 'Click on a folder icon in the sidebar to access related quick searches',\r
- "If you don't find what you want try expanding your search using the range selector at the right of the search bar"\r
-];\r
-*/\r
-\r
-function insertTip () {\r
- var tip_div = document.getElementById('tips');\r
- if (tip_div) {\r
- var tips = tip_div.getElementsByTagName('div')[0].getElementsByTagName('span');\r
- var index = Math.floor(Math.random() * tips.length);\r
- if(tips[index]) tip_div.appendChild( tips[index] );\r
- removeCSSClass(tip_div, 'hide_me');\r
- }\r
-}\r
-\r