bsherin / tactic

5 stars 1 forks source link

improve dynamic options #1207

Open bsherin opened 1 month ago

bsherin commented 1 month ago

The modify_options handler makes a lot possible, but it's awkward.

I could maybe support some specific use cases, such as procedurally defined lists. But I might want to introduce other handlers and primitives. For example there could be an add_option primitive. If I do that, then I might also want a new handler that is called whenever a single option changes. (see _update_single_option)

See also #990