protected override void OnExecutedHistoryMemento(ExecutedHistoryMementoEventArgs e) { if (this.context.lifted) { Render(context.offset, true); } else { DestroyNubs(); PositionNubs(this.context.currentMode); } this.dontDrop = false; }
protected override void OnExecutedHistoryMemento(ExecutedHistoryMementoEventArgs e) { if (context.lifted) { bool oldHQ = this.fullQuality; this.fullQuality = false; Render(context.offset, true); ClearSavedMemory(); this.fullQuality = oldHQ; } else { DestroyNubs(); PositionNubs(this.context.currentMode); } this.dontDrop = false; }
protected virtual void OnExecutedHistoryMemento(ExecutedHistoryMementoEventArgs e) { }
private void ExecutedHistoryMemento(object sender, ExecutedHistoryMementoEventArgs e) { this.OnExecutedHistoryMemento(e); }