Como redimensionar o menu de aplicativos do KDE plasma 5.21

Publicado por Ryuk Shinigami em 20/04/2021

[ Hits: 1.489 ]

 


Como redimensionar o menu de aplicativos do KDE plasma 5.21



O novo menu Kickoff, lançador de aplicativos do KDE Plasma 5.21, até o momento não permite o seu redimensionamento arrastando-se o mouse enquanto se mantém a tecla "Alt" pressionada, como nas versões anteriores era possível.

Para resolver esse problema vamos editar manualmente o arquivo de configuração do Kickoff.

Primeiro crie a pasta "~/.local/share/plasma/plasmoids" em seu diretório HOME, caso não exista:

mkdir -p ~/.local/share/plasma/plasmoids

Agora, copie os arquivos de configuração do menu para essa pasta:

cp -R /usr/share/plasma/plasmoids/org.kde.plasma.kickoff ~/.local/share/plasma/plasmoids/

Edite a linha 37 do arquivo "~/.local/share/plasma/plasmoids/org.kde.plasma.kickoff/contents/ui/FullRepresentation.qml".

Onde tem:

    Layout.minimumHeight: PlasmaCore.Units.gridUnit * 30

Altere o "30" para "35", por exemplo.

Salve o arquivo e reinicie a sessão do Plasma.

Outras dicas deste autor

Como Renomear o Diretório "Área de Trabalho" para "Desktop"

Consertando erros do pacman no Manjaro

Como alterar o nome do seu $USER e o do diretório $HOME

Como usar o i3 como gerenciador de janelas no KDE plasma

Solus OS não inicializa após atualização [RESOLVIDO]

Leitura recomendada

Compilação e instalação de mod_perl

Configurando Modem HSP56 MR no CL entre outros ...

Alterar editor de textos padrão no Debian Squeeze

Salvando configurações de brilho - Ubuntu 14.04

Instalando o Lotus Notes Client 8 via modo gráfico no KUbuntu 8.04

  

Comentários
[1] Comentário enviado por maurixnovatrento em 20/04/2021 - 23:34h


Joia, boa dica.

___________________________________________________________
[code]Conhecimento não se Leva para o Túmulo.
https://github.com/MauricioFerrari-NovaTrento [/code]



Contribuir com comentário




Patrocínio

Site hospedado pelo provedor RedeHost.
Linux banner

Destaques

Artigos

Dicas

Tópicos

Top 10 do mês

Scripts