joyhughes/Jen

Option to change widget sizes

Offen

#147 geöffnet am 29.05.2024

 (0 Kommentare) (0 Reaktionen) (0 zugewiesene Personen)C++ (20 Forks)auto 404
UIenhancementgood first issue

Repository-Metriken

Stars
 (27 Sterne)
PR-Merge-Metriken
 (PR-Metriken ausstehend)

Beschreibung

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