Cast image filter added. ROI filter modified.

[cpPlugins.git] / appli / PipelineEditor / PipelineEditor.ui

diff --git a/appli/PipelineEditor/PipelineEditor.ui b/appli/PipelineEditor/PipelineEditor.ui
index 45dc1fd74bb97bcc85671fb2465941e6408c7ad9..0e615126255a342dddc34a5739939ac7307b5cf0 100644 (file)
--- a/appli/PipelineEditor/PipelineEditor.ui
+++ b/appli/PipelineEditor/PipelineEditor.ui
@@ -75,6 +75,18 @@
    <addaction name="menuPlu_gins"/>
   </widget>
   <widget class="QStatusBar" name="statusbar"/>
+  <widget class="QToolBar" name="toolBar">
+   <property name="windowTitle">
+    <string>toolBar</string>
+   </property>
+   <attribute name="toolBarArea">
+    <enum>TopToolBarArea</enum>
+   </attribute>
+   <attribute name="toolBarBreak">
+    <bool>false</bool>
+   </attribute>
+   <addaction name="actionPrintExecutionInformation"/>
+  </widget>
   <action name="actionExit">
    <property name="text">
     <string>E&amp;xit</string>
@@ -128,6 +140,17 @@
     <string>Ctrl+Shift+D</string>
    </property>
   </action>
+  <action name="actionPrintExecutionInformation">
+   <property name="checkable">
+    <bool>true</bool>
+   </property>
+   <property name="text">
+    <string>Print execution information?</string>
+   </property>
+   <property name="toolTip">
+    <string>Print execution information?</string>
+   </property>
+  </action>
  </widget>
  <customwidgets>
   <customwidget>