edui.panels.settings (module)

The Settings panel on edui — the world settings document rendered as an editable form, one card per [section].

Data

• settings.all() → nested [section].key = scalar document (cached at mount, re-read on Reload).

Actions

• Edit a field → settings.set("section.key", value), coerced to the original scalar's type (bool → toggle, whole number → int, else float / string).
• Reload → clears the cache and re-reads settings.all().

Registered as { id = "settings", side = "right", order = 60 }.