--- a/src/eric7/Documentation/Source/eric7.WebBrowser.Bookmarks.BookmarksManager.html Thu May 25 19:51:47 2023 +0200 +++ b/src/eric7/Documentation/Source/eric7.WebBrowser.Bookmarks.BookmarksManager.html Thu May 25 19:52:31 2023 +0200 @@ -508,19 +508,12 @@ </p> <a NAME="BookmarksManager.setNodeChanged" ID="BookmarksManager.setNodeChanged"></a> <h4>BookmarksManager.setNodeChanged</h4> -<b>setNodeChanged</b>(<i>node</i>) +<b>setNodeChanged</b>(<i></i>) <p> Public method to signal changes of bookmarks other than title, URL or timestamp. </p> -<dl> - -<dt><i>node</i></dt> -<dd> -reference to the bookmark (BookmarkNode) -</dd> -</dl> <a NAME="BookmarksManager.setTimestamp" ID="BookmarksManager.setTimestamp"></a> <h4>BookmarksManager.setTimestamp</h4> <b>setTimestamp</b>(<i>node, timestampType, timestamp</i>)