comparison widgets/CommandHistory.cpp @ 1610:bd1a7c84da8c

Profiling point

 */
 
 #include "CommandHistory.h"
 
 #include "base/Command.h"
+#include "base/Profiler.h"
 
 #include "IconLoader.h"
 
 #include <QRegExp>
 #include <QMenu>

 }
 
 void
 CommandHistory::clearStack(CommandStack &stack)
 {
+    Profiler profiler("CommandHistory::clearStack");
+    
     while (!stack.empty()) {
         Command *command = stack.top();
         // Not safe to call getName() on a command about to be deleted
 #ifdef DEBUG_COMMAND_HISTORY
         cerr << "CommandHistory::clearStack: About to delete command " << command << endl;