c9e7136161
The Properties NavBar region can be resized by dragging an edge, but this only allows either normal width or hidden. The edge is along the line of category tabs and it is extremely easy to hide the region rather than select a tab. This PR remove the ability to drag the edge, but adds a "Hide" option to the region's context menu. It also leaves the triangular disclosure widget visible while hidden so that it can be shown again. Pull Request: https://projects.blender.org/blender/blender/pulls/138628