# HG changeset patch
# User Chris Cannam
# Date 1589470689 -3600
# Node ID bd1a7c84da8cd84b78b69a2e36238eefa03aa0e9
# Parent  705d1d979ae4182183c8fd24a43ee787d0f34c5a
Profiling point

diff -r 705d1d979ae4 -r bd1a7c84da8c widgets/CommandHistory.cpp
--- a/widgets/CommandHistory.cpp	Thu May 14 16:38:05 2020 +0100
+++ b/widgets/CommandHistory.cpp	Thu May 14 16:38:09 2020 +0100
@@ -25,6 +25,7 @@
 #include "CommandHistory.h"
 
 #include "base/Command.h"
+#include "base/Profiler.h"
 
 #include "IconLoader.h"
 
@@ -470,6 +471,8 @@
 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