Dash to Panel v24 lançado com orientação de painel vertical, atualização do recurso GitHub

24 de outubro de 2019

Dash to Panel, um ícone da barra de tarefas do Gnome Shell, foi atualizado para a versão 24, trazendo suporte para orientação do painel vertical (à esquerda ou à direita do monitor), a capacidade de atualizar a extensão diretamente das versões do GitHub, e mais.

A extensão Gnome Shell Dash to Panel combina o Dash com o painel superior em um único encaixe. Dessa forma, você tem aplicativos em execução (e aplicativos favoritos/fixados), a bandeja, o menu do sistema e o indicador de data/hora em um único painel.

Não confunda Dash to Panel com a extensão Dash to Dock semelhante (da qual o Ubuntu Dock foi bifurcado).

A extensão vem com muitos recursos, incluindo visualizações de janela ao vivo, painel intellihide, suporte a vários monitores, aparência personalizável (incluindo estilos personalizados para o indicador do aplicativo em execução) e muito mais. Existem também vários recursos menores, mas úteis, como iniciar aplicativos fixados no painel usando o teclado, adicionar um botão Mostrar área de trabalho ao painel, isolar aplicativos em execução por área de trabalho ou monitores, ou transparência dinâmica do painel. Ele suporta GNOME Shell 3.18 e mais recentes.

O último Dash to Panel v24 traz suporte para orientação do painel vertical, permitindo aos usuários posicioná-lo no lado esquerdo ou direito do monitor (anteriormente, você só podia usá-lo como um painel horizontal). Este era um recurso muito solicitado, datando dos primeiros dias do Dash to Panel, e é especialmente útil com monitores ultra-largos (e não apenas), onde o espaço vertical é muito importante.

Nova atualização da opção GitHub

Outra atualização importante com esta versão do Dash to Panel v24 é a capacidade de atualizar a extensão diretamente do repositório GitHub, útil porque as extensões precisam ser revisadas antes de serem atualizadas em extensions.gnome.org, e isso pode demorar um pouco em alguns casos. Esta opção não está habilitada por padrão - habilite-a do Dash para o Painel Settings -> About. Vale a pena mencionar que, como isso é atualizado diretamente do GitHub, significa que a versão não é revisada como nas versões de extensions.gnome.org!

Mais alterações do Dash to Panel v24:

• Respeita a opção específica do Ubuntu para desativar cantos quentes
• Adicionada uma opção para modificar o atraso da intellihide
• Aprimoramentos de compatibilidade do GNOME 3.34, incluindo correção para visualizações de janela, animação de intellihide fixa, correção de hotcorner para Wayland e muito mais
• Limite de pressão máxima aumentada
• A janela exibe o estilo manual
• Fecha a visualização ao entrar no modo de tela inteira
• Corrige erro de regressão em <= GNOME 3.22 Lidar com a rolagem de inicializadores de aplicativos na orientação vertical

Instale o Dash to Panel

É importante notar que os usuários do Ubuntu não precisam desabilitar o Ubuntu Dock para poder usar esta extensão, porque Dash to Panel desativa automaticamente Ubuntu Dock/Dash to Dock. Caso você queira voltar a usar o Ubuntu Dock padrão, desative Dash to Panel usando GNOME Tweaks; O Ubuntu Dock pode não aparecer imediatamente após fazer isso; nesse caso, você pode reiniciar o GNOME Shell (Alt + F2 e, em seguida, digite r ou faça logout/login).

Dash to Panel requer Gnome 3.18 e mais recente e pode ser instalado em extensions.gnome.org.

No momento em que estou escrevendo este artigo, o Dash to Panel v24 mais recente está na fila de revisão e ainda não foi publicado em extensions.gnome.org (que atualmente tem v23).

Aqueles que desejam instalar o Dash to Panel v24 mais recente sem ter que esperar pela publicação em extensions.gnome.org podem baixar a versão mais recente ([email protected]_v24.zip) da extensão na guia de lançamentos do GitHub, extraí-lo e copiá-lo a pasta resultante para ~/.local/share/gnome-shell/extensions e remover _v24 do nome da pasta para que seu nome seja [email protected].

Ou baixe e instale o Dash to Panel v24 usando estes 2 comandos (requer git e unzip):

Assim que a extensão for instalada (manualmente ou usando o comando que mencionei), reinicie o Gnome Shell se você estiver no Xorg (pressione Alt + F2 e digite r, depois pressione a tecla Enter) ou reinicie sua sessão (logout/login) se você estiver no Wayland e habilite o Dash to Dock usando o aplicativo Gnome Tweaks.

Para acessar as configurações do Dash to Dock, você pode clicar com o botão direito do mouse no botão de aplicativos e escolher Dash to Panel Settings ou em GNOME Tweaks.

Para versões futuras, você poderá atualizar o Dash to Panel diretamente do GitHub, usando sua nova atualização do recurso GitHub.