Implement the new `codelens.forNestedBindings` setting#1990

Merged

smorimoto merged 10 commits intoocamllabs:masterfrom

Tim-ats-d:configurable-internal-code-lens

Nov 5, 2025

Commits on Oct 28, 2025

Use a single naming convention for the new setting: `forNestedBindings`.
Tim-ats-d
committed

Commits on Oct 29, 2025

Mark the new `forNestedBindings` as optional in JSON decoding.
Tim-ats-d
committed

Commits on Nov 3, 2025

Fix new setting binding by adding a default value.
Tim-ats-d
committed

Commits on Nov 5, 2025