| 
									
										
										
										
											2017-04-15 01:47:33 +08:00
										 |  |  | const Vue = require("vue"); | 
					
						
							| 
									
										
										
										
											2017-04-10 03:59:57 +08:00
										 |  |  | 
 | 
					
						
							|  |  |  | function exists(id) { | 
					
						
							|  |  |  |     return document.getElementById(id) !== null; | 
					
						
							|  |  |  | } | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | let vueMapping = { | 
					
						
							| 
									
										
										
										
											2017-04-16 02:16:07 +08:00
										 |  |  |     'search-system': require('./search'), | 
					
						
							|  |  |  |     'entity-dashboard': require('./entity-search'), | 
					
						
							| 
									
										
										
										
											2017-07-01 20:23:46 +08:00
										 |  |  |     'code-editor': require('./code-editor') | 
					
						
							| 
									
										
										
										
											2017-04-10 03:59:57 +08:00
										 |  |  | }; | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2017-07-01 20:23:46 +08:00
										 |  |  | window.vues = {}; | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2017-04-10 03:59:57 +08:00
										 |  |  | Object.keys(vueMapping).forEach(id => { | 
					
						
							|  |  |  |     if (exists(id)) { | 
					
						
							|  |  |  |         let config = vueMapping[id]; | 
					
						
							|  |  |  |         config.el = '#' + id; | 
					
						
							| 
									
										
										
										
											2017-07-01 20:23:46 +08:00
										 |  |  |         window.vues[id] = new Vue(config); | 
					
						
							| 
									
										
										
										
											2017-04-10 03:59:57 +08:00
										 |  |  |     } | 
					
						
							|  |  |  | }); |