Code

Add Pinned Tabs#10817

Code

Merged

colin-grant-work merged 7 commits intoeclipse-theia:mastereclipse-theia/theia:masterfrom colin-grant-work:finish-up/pinned-tabscolin-grant-work/theia:finish-up/pinned-tabsCopy head branch name to clipboardMar 8, 2022

+192-18

Commits

Commits on Mar 7, 2022

• Add ability to pin tabs

  Show description for 86d77af
  

  dsseng

  and

  Colin Grant

  committed
  86d77af

  Copy full SHA for 86d77af

• fix side panel restoration

  

  Colin Grant

  committed
  be2eb0b

  Copy full SHA for be2eb0b

• switch to codicons

  

  Colin Grant

  committed
  283ae3e

  Copy full SHA for 283ae3e

• ensure view containers don't unpin themselves

  

  Colin Grant

  committed
  0d24681

  Copy full SHA for 0d24681

• nls issues

  

  Colin Grant

  committed
  223c372

  Copy full SHA for 223c372

• Use correct context key

  

  Colin Grant

  committed
  eef3aeb

  Copy full SHA for eef3aeb

• extract utilities; ensure context key and command use same reference widget

  

  Colin Grant

  committed
  fe4cdf9

  Copy full SHA for fe4cdf9