32 lines
		
	
	
		
			1.4 KiB
		
	
	
	
		
			HTML
		
	
	
	
	
	
			
		
		
	
	
			32 lines
		
	
	
		
			1.4 KiB
		
	
	
	
		
			HTML
		
	
	
	
	
	
<html>
 | 
						||
<head>
 | 
						||
</head>
 | 
						||
<body style="background: transparent;">
 | 
						||
    <script src="scripts/docstrap.lib.js"></script>
 | 
						||
    <script src="scripts/lunr.min.js"></script>
 | 
						||
    <script src="scripts/fulltext-search.js"></script>
 | 
						||
 | 
						||
    <script type="text/x-docstrap-searchdb">
 | 
						||
    {"index.html":{"id":"index.html","title":"Index","body":" Documentation earlyminimal and fast loading animation for modules that need a little starting time. Usage// Put the following at the start of your module import * as early from "early"; early.start("myModuleName"); /* do your loading stuff */ early.stop(); // stop "early" when your module is readyearly runs in its own process: The loader animation runs smoothly even when your event queue of your currently loading module is working heavily. × Search results Close Documentation generated by JSDoc 3.4.0 on 2016-06-12T00:41:35+02:00 using the DocStrap template. "}}
 | 
						||
    </script>
 | 
						||
 | 
						||
    <script type="text/javascript">
 | 
						||
        $(document).ready(function() {
 | 
						||
            Searcher.init();
 | 
						||
        });
 | 
						||
 | 
						||
        $(window).on("message", function(msg) {
 | 
						||
            var msgData = msg.originalEvent.data;
 | 
						||
 | 
						||
            if (msgData.msgid != "docstrap.quicksearch.start") {
 | 
						||
                return;
 | 
						||
            }
 | 
						||
 | 
						||
            var results = Searcher.search(msgData.searchTerms);
 | 
						||
 | 
						||
            window.parent.postMessage({"results": results, "msgid": "docstrap.quicksearch.done"}, "*");
 | 
						||
        });
 | 
						||
    </script>
 | 
						||
</body>
 | 
						||
</html>
 |