diff view/View.h @ 1442:5554d5187494 single-point

Merge from default branch

--- a/view/View.h	Thu Mar 28 11:55:31 2019 +0000
+++ b/view/View.h	Wed Apr 24 11:45:02 2019 +0100
@@ -430,6 +430,16 @@
     virtual void viewManagerPlaybackFrameChanged(sv_frame_t);
     virtual void viewZoomLevelChanged(View *, ZoomLevel, bool);
 
+    /**
+     * A property container has been selected, for example in the
+     * associated property stack. The property container may be a
+     * layer, in which case the effect should be to raise that layer
+     * to the front of the view and select it; or it may be the view's
+     * own property container, in which case the effect is to switch
+     * to a mode in which no layer is selected.
+     *
+     * (This is the main slot for raising a layer.)
+     */
     virtual void propertyContainerSelected(View *, PropertyContainer *pc);
 
     virtual void selectionChanged();