joyhughes/Jen

Option to change widget sizes

Ouverte

#147 ouverte le 29 mai 2024

 (0 commentaire) (0 réaction) (0 personne assignée)C++ (20 forks)auto 404
UIenhancementgood first issue

Métriques du dépôt

Stars
 (27 étoiles)
Métriques de merge PR
 (Métriques PR en attente)

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 )

Guide contributeur