* Set history checkpoint, normally called -after- executing a change / operation (e.g. after adding a new tab)
* @throws IOException
*/
public void setHistoryCheckpoint() {
if (historyEnabled) {
Settings currentSettings = view.getSettings().clone();
//we don't want this stuff in our history: this might explode our memory when using query for lots of times during 1 session
currentSettings.clearQueryResults();
String currentSettingsString = currentSettings.toString();
if (currentSettingsString.equals(previousCheckpointSettings) == false) {
//only add new checkpoint when the settings are different than the last one
previousCheckpointSettings = currentSettingsString;
JsMethods.pushHistoryState(currentSettingsString, view.getSettings().getBrowserTitle(), "");
}