reverting bootstrap-native : modal closes on click

js/explorer.js

@@ -137,7 +137,7 @@ var planet = {} ;
 var center_map = null ;
 
 var storage_prefix = 'Explosurf:' 
-    + document.getElementById('planet-name').innerText.toLowerCase() 
+    + document.getElementById('planet-name').innerHTML.toLowerCase() 
     + ':explorer'
   ;
 

js/notes.js

@@ -11,7 +11,7 @@
 
 /* local storage prefix */
 var storage_prefix = 'Explosurf:' 
-    + document.getElementById('planet-name').innerText.toLowerCase() 
+    + document.getElementById('planet-name').innerHTML.toLowerCase() 
     + ':notes'
   ;
 

js/pgm_construction.js

@@ -60,7 +60,7 @@ var has_absolute_fixed_bug = (function() {
 
 /*prefix for local storage*/
 var storage_prefix = 'Explosurf:' 
-    + document.getElementById('planet-name').innerText.toLowerCase()
+    + document.getElementById('planet-name').innerHTML.toLowerCase()
     + ':pgm'
   ;
 
@@ -145,7 +145,7 @@ function local_list_pgm() {
       //build the item from the template
       var item = pgm_entry.cloneNode(true) ;
       var label = document.createElement('span') ;
-      label.innerText = match[1] ;
+      label.innerHTML = match[1] ;
       label.className = 'pull-left' ;
       item.appendChild(label) ;
       pgm_list.appendChild(item) ;