comparison view/ViewManager.h @ 731:f831ca41d4a5 tonioni

Add selectionChangedByUser for selection changes prompted by interactivity rather than by undo/redo

     void playbackFrameChanged(unsigned long frame);
 
     /** Emitted when the output levels change. Values in range 0.0 -> 1.0. */
     void outputLevelsChanged(float left, float right);
 
-    /** Emitted when the selection has changed. */
+    /** Emitted whenever the selection has changed. */
     void selectionChanged();
+
+    /** Emitted when the selection has been changed through an
+     * explicit selection-editing action. *Not* emitted when the
+     * selection has been changed through undo or redo. */
+    void selectionChangedByUser();
 
     /** Emitted when the in-progress (rubberbanding) selection has changed. */
     void inProgressSelectionChanged();
 
     /** Emitted when the tool mode has been changed. */