...

[cpPlugins.git] / lib / cpPlugins / Workspace.h

diff --git a/lib/cpPlugins/Workspace.h b/lib/cpPlugins/Workspace.h
index e779b075a12b3980058292a0082be65404522c86..e5609629a58f8298133e9982d9f52730548ca6fa 100644 (file)
--- a/lib/cpPlugins/Workspace.h
+++ b/lib/cpPlugins/Workspace.h
@@ -80,6 +80,10 @@ namespace cpPlugins
     void RemoveFilter( const std::string& name );
     void SetParameter( const std::string& name, const std::string& value );
 
+    void SetPrintExecution( bool b );
+    void PrintExecutionOn( );
+    void PrintExecutionOff( );
+
     // Widgets management
     vtkRenderWindowInteractor* GetSingleInteractor( );
     const vtkRenderWindowInteractor* GetSingleInteractor( ) const;