Closed bernhardmgruber closed 1 year ago
Since it's quite common to query the extents of a view, here is a shortcut so you don't need to write view.mapping().extents(). This also opens the door for slices SubView to have different sizes (not in this PR).
view.mapping().extents()
SubView
Merging #718 (ae90102) into develop (da10cd8) will increase coverage by 0.00%. The diff coverage is 100.00%.
0.00%
100.00%
Since it's quite common to query the extents of a view, here is a shortcut so you don't need to write
view.mapping().extents()
. This also opens the door for slicesSubView
to have different sizes (not in this PR).