Encontrei uma solução para o meu problema.
Eu não sei o comportamento padrão das extensões Overview
w / o (porque eu instalei a extensão Workspace Grid
quase que imediatamente), mas minha experiência é não comportamento padrão com Workspace Grid
instalado. De fato, o Workspace List
é supostamente exibido assim que o Overview
é ativado, mas existe uma opção de configuração que o oculta sob certas condições. As configurações em questão são explicadas aqui :
Workspaces thumbnails sidebar in overview.
This sidebar can get pretty wide if you have multiple columns of
workspaces. The sidebar can be collapse to the side of the screen if it
becomes too wide so that you then hover your mouse over it to uncollapse it.
The relevant settings:
the maximum width the sidebar is allowed to occupy (as a fraction
of screen width):
const MAX_SCREEN_HFRACTION = 0.8;
the width at which the sidebar collapses to the side when you open
the overview (fraction of screen width):
const MAX_SCREEN_HFRACTION_BEFORE_COLLAPSE = 0.3;
Então, tudo o que eu precisava fazer era definir o último valor como uma fração muito maior (digamos, .6), e agora o Workspace List
aparece por padrão quando eu exibo o Overview
.