- enum { // Menu "File"
- OpenFileId,
-
- LoadStateId,
- SaveStateId,
-
- SaveDataId,
- SaveScreenshotId,
- ExportId,
-
- SaveAnimationId,
- SaveGeometryId,
-
- ConnectId,
- DisconnectId,
-
- // Menu "Edit"
- UndoId,
- RedoId,
-
- CameraUndoId,
- CameraRedoId,
-
- ChangeInputId,
- DeleteId,
- DeleteAllId,
-
- InteractId,
- SelectCellsOnId,
- SelectPointsOnId,
- SelectCellsThroughId,
- SelectPointsThroughId,
- SelectBlockId,
-
- SettingsId,
- ViewSettingsId,
-
- // Menu "View"
- ResetCameraId,
- PositiveXId,
- NegativeXId,
- PositiveYId,
- NegativeYId,
- PositiveZId,
- NegativeZId,
-
- ShowCenterId,
- ResetCenterId,
- PickCenterId,
- ShowColorLegendId,
- EditColorMapId,
- ResetRangeId,
-
- AnimationInspectorId,
- AnimationViewId,
- ComparativeViewInspectorId,
- SelectionInspectorId,
- LookmarkBrowserId,
- LookmarkInspectorId,
- ObjectInspectorId,
- PipelineBrowserId,
- StatisticsViewId,
-
- // Menu "Sources"
- // TODO...
-
- // Menu "Filters"
- // TODO...
-
- // Menu "Animation"
- FirstFrameId,
- PreviousFrameId,
- PlayId,
- NextFrameId,
- LastFrameId,
- LoopId,
-
- // Menu "Tools"
- CreateCustomFilterId,
- ManageCustomFiltersId,
- CreateLookmarkId,
- ManageLinksId,
- AddCameraLinkId,
- ManagePluginsExtensionsId,
- DumpWidgetNamesId,
- RecordTestId,
- RecordTestScreenshotId,
- PlayTestId,
- MaxWindowSizeId,
- TimerLogId,
- OutputWindowId,
- PythonShellId,
-
- // Menu "Help"
- AboutParaViewId,
- ParaViewHelpId,
- EnableTooltipsId
+ enum {
+ //-----------
+ // Menu "File"
+ OpenFileId,
+ //-
+ LoadStateId,
+ SaveStateId,
+ //-
+ SaveDataId,
+ SaveScreenshotId,
+ ExportId,
+ //-
+ SaveAnimationId,
+ SaveGeometryId,
+ //-
+ ConnectId,
+ DisconnectId,
+ //-----------
+ // Menu "Edit"
+ UndoId,
+ RedoId,
+ //-
+ CameraUndoId,
+ CameraRedoId,
+ //-
+ FindDataId,
+ ChangeInputId,
+ IgnoreTimeId,
+ DeleteId,
+ DeleteAllId,
+ //-
+ SettingsId, // not used
+ ViewSettingsId, // not used
+ //-----------
+ // Menu "View"
+ FullScreenId, // not used
+ //-----------
+ // Menu "Animation"
+ FirstFrameId, // not used
+ PreviousFrameId, // not used
+ PlayId, // not used
+ NextFrameId, // not used
+ LastFrameId, // not used
+ LoopId, // not used
+ //-----------
+ // Menu "Tools"
+ CreateCustomFilterId,
+ ManageCustomFiltersId,
+ CreateLookmarkId, // not used
+ ManageLinksId,
+ AddCameraLinkId,
+ ManagePluginsExtensionsId,
+ DumpWidgetNamesId, // not used
+ RecordTestId,
+ RecordTestScreenshotId, // not used
+ PlayTestId,
+ MaxWindowSizeId,
+ CustomWindowSizeId,
+ TimerLogId,
+ PythonShellId,
+ ShowTraceId,
+ RestartTraceId,
+ //-----------
+ // Menu "Help"
+ AboutParaViewId,
+ ParaViewHelpId,
+ EnableTooltipsId, // not used