UIenhancementgood first issue
Repository metrics
- Stars
- (27 stars)
- PR merge metrics
- (PR metrics pending)
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 )