diff -r ce0b1f024da9 -r 84e78ee0f361 WebBrowser/History/HistoryManager.py
--- a/WebBrowser/History/HistoryManager.py Sat Feb 13 13:36:01 2016 +0100
+++ b/WebBrowser/History/HistoryManager.py Sat Feb 13 14:17:39 2016 +0100
@@ -179,32 +179,6 @@
self.__saveTimer.changeOccurred()
self.historyReset.emit()
-## def _addHistoryEntry(self, itm):
-## """
-## Protected method to add a history item.
-##
-## @param itm reference to the history item to add (HistoryEntry)
-## """
-## import WebBrowser.WebBrowserWindow
-## if WebBrowser.WebBrowserWindow.WebBrowserWindow\
-## .mainWindow().getWindow().isPrivate():
-## return
-##
-## self.__history.insert(0, itm)
-## self.entryAdded.emit(itm)
-## if len(self.__history) == 1:
-## self.__checkForExpired()
-##
-## def _removeHistoryEntry(self, itm):
-## """
-## Protected method to remove a history item.
-##
-## @param itm reference to the history item to remove (HistoryEntry)
-## """
-## self.__lastSavedUrl = ""
-## self.__history.remove(itm)
-## self.entryRemoved.emit(itm)
-
def addHistoryEntry(self, view):
"""
Public method to add a history entry.
