joyhughes/Jen

Option to change widget sizes

Aberta

#147 aberto em 29 de mai. de 2024

 (0 comentário) (0 reação) (0 responsável)C++ (20 forks)auto 404
UIenhancementgood first issue

Métricas do repositório

Stars
 (27 estrelas)
Métricas de merge de PR
 (Métricas PR pendentes)

Description

Allow an option for smaller widget sizes (increments of 20 pixels rather than 30). This will probably involve a number of changes to WidgetGroup.js ... it can be changed from the settings menu (issue #146 )

Guia do colaborador