joyhughes/Jen

Option to change widget sizes

Open

#147 opened on May 29, 2024

 (0 comments) (0 reactions) (0 assignees)C++ (20 forks)auto 404
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 )

Contributor guide