Option to change widget sizes
Open
enhancement
good first issue
UI
- Dominant language
- C++
- Stars
- 27
- Forks
- 20
- PR merge metrics
- No merged PRs in 30d
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
Assessment
This issue has not been assessed yet.