IDE: docs: remove content before populating. This will prevent

duplicated entries when the sever is rebooted.
BelaPlatform · Jun 13, 2022 · eb80f78 · eb80f78
1 parent c0cf7af
commit eb80f78
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 0 deletions.
diff --git a/IDE/frontend-dev/src/Views/DocumentationView.js b/IDE/frontend-dev/src/Views/DocumentationView.js
@@ -29,6 +29,10 @@ class DocumentationView extends View {
   init(){
 
     var self = this;
+    ['context', 'api', 'utility'].forEach((section) => {
+      let m = $('[data-docs-'+section+']');
+      m.empty();
+    });
 
     // The API
     $.ajax({

diff --git a/IDE/public/js/bundle.js b/IDE/public/js/bundle.js