Activate pinned editor only if already active#9346

Merged

colin-grant-work merged 1 commit intoeclipse-theia:masterfrom colin-grant-work:bugfix/preview-activate-on-pinned

Apr 15, 2021

+6-3

Commits on Apr 13, 2021

Activate only if already active
colin-grant-work
committed