Document Settings Preferences result types - #578

Open

jonathanpeppers wants to merge 2 commits into

mainfrom

jonathanpeppers-document-settings-preferences

Commits on Aug 15, 2026

Document settings preference result types

jonathanpeppers
and
Copilot
committed
8965eac
Address settings preference docs review

jonathanpeppers
and
Copilot
committed
c121a2d