updateHistory method
void
updateHistory()
Implementation
void updateHistory() {
if (historyIndex < (_history.length - 1)) {
_history.removeRange(historyIndex + 1, _history.length);
}
_history.add(provider.nodeManager.serializeNodes());
historyIndex++;
}