click/types.pyi: Add case_sensitive wrt click 7.0 (#2948)

Fixes #2942
This commit is contained in:
Utkarsh Gupta
2019-05-03 14:44:36 +00:00
committed by Jelle Zijlstra
parent 1726b31013
commit 4d61442004

View File

@@ -27,7 +27,11 @@ class CompositeParamType(ParamType):
class Choice(ParamType):
choices: Iterable[str]
def __init__(self, choices: Iterable[str]) -> None:
def __init__(
self,
choices: Iterable[str],
case_sensitive: bool = ...,
) -> None:
...