About the Push-Pin

Some tabs have a push-pin on their title bar. A push-pin has two positions, horizontal and vertical.

Horizontal position: In this position, the tab hides itself when your mouse pointer is no longer over the tab's contents, allowing more room for other window elements.

Vertical position: In this position, the tab's contents are visible at all times.

Click the push-pin to change its orientation from vertical to horizontal.