176 self.__lastSavedUrl = "" |
176 self.__lastSavedUrl = "" |
177 else: |
177 else: |
178 self.__lastSavedUrl = "" |
178 self.__lastSavedUrl = "" |
179 self.__saveTimer.changeOccurred() |
179 self.__saveTimer.changeOccurred() |
180 self.historyReset.emit() |
180 self.historyReset.emit() |
181 |
|
182 ## def _addHistoryEntry(self, itm): |
|
183 ## """ |
|
184 ## Protected method to add a history item. |
|
185 ## |
|
186 ## @param itm reference to the history item to add (HistoryEntry) |
|
187 ## """ |
|
188 ## import WebBrowser.WebBrowserWindow |
|
189 ## if WebBrowser.WebBrowserWindow.WebBrowserWindow\ |
|
190 ## .mainWindow().getWindow().isPrivate(): |
|
191 ## return |
|
192 ## |
|
193 ## self.__history.insert(0, itm) |
|
194 ## self.entryAdded.emit(itm) |
|
195 ## if len(self.__history) == 1: |
|
196 ## self.__checkForExpired() |
|
197 ## |
|
198 ## def _removeHistoryEntry(self, itm): |
|
199 ## """ |
|
200 ## Protected method to remove a history item. |
|
201 ## |
|
202 ## @param itm reference to the history item to remove (HistoryEntry) |
|
203 ## """ |
|
204 ## self.__lastSavedUrl = "" |
|
205 ## self.__history.remove(itm) |
|
206 ## self.entryRemoved.emit(itm) |
|
207 |
181 |
208 def addHistoryEntry(self, view): |
182 def addHistoryEntry(self, view): |
209 """ |
183 """ |
210 Public method to add a history entry. |
184 Public method to add a history entry. |
211 |
185 |