Merge pull request #1841 from zed-industries/tab-activation-history

Avoid reordering items by adding an activation history to panes, and remove tab reordering hack
b2b25acc4cJulia committed on 11/1/2022, 6:46:45 PM· committed by GitHubparents482a5bbc58abf1
1 file changedLine totals unavailable