doc/book/devweb/js.rst
changeset 12879 7347715bf0ee
parent 10495 5bd914ebf3ae
--- a/doc/book/devweb/js.rst	Sat Feb 08 22:20:45 2020 +0100
+++ b/doc/book/devweb/js.rst	Sat Feb 15 17:08:15 2020 +0100
@@ -142,7 +142,7 @@
     function removeBookmark(beid) {
         d = asyncRemoteExec('delete_bookmark', beid);
         d.addCallback(function(boxcontent) {
-	    reloadComponent('bookmarks_box', '', 'boxes', 'bookmarks_box');
+            reloadComponent('bookmarks_box', '', 'boxes', 'bookmarks_box');
             document.location.hash = '#header';
             updateMessage(_("bookmark has been removed"));
          });