add all .idp to example search

FreeFem · Jan 12, 2024 · 0ad4401 · 0ad4401
1 parent 4d5de97
commit 0ad4401
Show file tree

Hide file tree

Showing 3 changed files with 11,498 additions and 1,040 deletions.
diff --git a/source/_static/js/examples.js b/source/_static/js/examples.js
@@ -50,9 +50,10 @@ loadExamplefromGitHub = (name, dir, editor) => {
       highlightKeyword(editor)
    }
 
-   const url = 'https://raw.githubusercontent.com/FreeFem/FreeFem-sources/master/examples/'+dir+'/'+name
+   const fpath = (dir == 'idp' ? '' : 'examples/') + dir + '/'+name
+   const url = 'https://raw.githubusercontent.com/FreeFem/FreeFem-sources/master/' + fpath
    console.log("load " + dir + "/" + name + "from GitHub");
-   document.getElementById('ExampleLinkToGitHub').innerHTML = "<a href='https://github.com/FreeFem/FreeFem-sources/blob/master/examples/"+dir+"/"+name+"' target='_blank'>"+dir+"/"+name+"</a>";
+   document.getElementById('ExampleLinkToGitHub').innerHTML = "<a href='https://github.com/FreeFem/FreeFem-sources/blob/master/"+fpath+"' target='_blank'>"+dir+"/"+name+"</a>";
    HTTPGet(url, load)
 }