Update interface.js

LaiYanKai · Nov 9, 2022 · 585a087 · 585a087
1 parent ece56f2
commit 585a087
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/UniformPlanners/scripts/interface.js b/UniformPlanners/scripts/interface.js
@@ -2767,6 +2767,7 @@ for (f of file_names) {
   var script = document.createElement("script");  // create a script DOM node
   script.src = 'scripts/planners/'.concat(f, '.js');  // set its src to the provided URL
   document.body.appendChild(script); 
+  console.log("Loaded", f);
 }
 
 /*var h = Math.round(Math.random()*360);
@@ -2777,7 +2778,8 @@ document.body.style.background = 'hsl('.concat(h,',', s, '%,', l, '%)');
 document.getElementById('ui_load_overlay').parentNode.removeChild(document.getElementById('ui_load_overlay'));
 
 // select A*
-this.html.nav.options.algorithms.options.forEach(opt=>{
+this.ui.html.nav.options.algorithms.options.forEach(opt=>{
     if(opt.value == 'A*')
         opt.selected = true;
     });
+this.ui.graphic_handlers.change_planner_options();// just in case it is the first.