fSavedCommand
fSavedCommand = fUndoHistory.top();
if (fSavedCommand && !saved) {
if (fSavedCommand == fUndoHistory.top())
Command* fSavedCommand;
fSavedCommand = fUndoHistory.top();
if (fSavedCommand && !saved) {
if (fSavedCommand == fUndoHistory.top())
Command* fSavedCommand;