- "A group spanner that keeps track of interesting items. If it"
- " doesn't contain any after line breaking, it removes itself"
- " and all its children.",
-
- /* properties */
- "items-worth-living "
- "important-column-ranks "
- "keep-alive-with "
- "remove-empty "
- "remove-first "
- );
-
-
+ "A group spanner that keeps track of interesting items. If it"
+ " doesn't contain any after line breaking, it removes itself"
+ " and all its children. Children may be prioritized in layers"
+ " via @code{remove-layer}, in which case only the"
+ " lowest-numbered non-empty layer is retained.",
+
+ /* properties */
+ "items-worth-living "
+ "important-column-ranks "
+ "keep-alive-with "
+ "make-dead-when "
+ "remove-empty "
+ "remove-first "
+ "remove-layer "
+ );