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 )