One Comment

  • Or one can use the GUI method of dragging tabs to the left of the tab bar to pin them, and dragging pinned tabs away from that region to unpin them.