New vertical pipe editing

The “Edit” tool has been included in the “Pipes” section of the toolbar (for vertical pipes), with which users can view and edit, in a single window, all the spans of the vertical pipe they select.