Section depth editing

Up until version 2023.d, section depth could not be edited. Therefore, the scene was displayed from the position of the section line to the end.

As of version 2023.d, the depth can be edited. This way, parts of the scene that are not relevant to the section drawing can be omitted.