Workbench › Editor: Wrap Tabs

February 05, 2021

Pinned tab sizing settings

October 09, 2020

Pinning editor tabs

August 10, 2020

Window: Native tabs

March 30, 2020

Workbench › Editor: Highlight Modified Tabs

March 20, 2020