Helpviewer/Bookmarks/BookmarksManager.py

changeset 1733
231e6f05d274
parent 1730
5d7ce61b64aa
child 2302
f29e9405c851
equal deleted inserted replaced
1732:b140a24e147a 1733:231e6f05d274
259 return 259 return
260 260
261 command = ChangeBookmarkCommand(self, node, newUrl, False) 261 command = ChangeBookmarkCommand(self, node, newUrl, False)
262 self.__commands.push(command) 262 self.__commands.push(command)
263 263
264 def setNodeChanged(self, node):
265 """
266 Public method to signal changes of bookmarks other than title, URL or timestamp.
267 """
268 self.__saveTimer.changeOccurred()
269
264 def setTimestamp(self, node, timestampType, timestamp): 270 def setTimestamp(self, node, timestampType, timestamp):
265 """ 271 """
266 Public method to set the URL of a bookmark. 272 Public method to set the URL of a bookmark.
267 273
268 @param node reference to the node to be changed (BookmarkNode) 274 @param node reference to the node to be changed (BookmarkNode)

eric ide

mercurial