A new widget editor

The widget editor has been improved: settings are now grouped into collapsible sections.

You get more control over the details too: layout presets to start from, per-section text styling with dynamic variables, individual colors, and precise border and spacing.