bouton Reset: recharge la page après reset

js/editor.js

@@ -235,6 +235,7 @@ $(document).ready(function() {
 
   function revertEditor() {
     editorStorage.reset();
+    location.reload();
   }
 
   function saveChanges() {