Give Option.show_default
higher priority wrt Context.show_default
#1963
Milestone
Option.show_default
higher priority wrt Context.show_default
#1963
Currently,
Context.show_default
(a global setting) overridesOption.show_default
(a local setting). This is counterintuitive and limit expressiveness: onceContext.show_default
is set toTrue
, it's impossible to disableshow_default
for a specific option.The text was updated successfully, but these errors were encountered: