From 4d6144200447eeeaa0c44f03b771b66f08169e42 Mon Sep 17 00:00:00 2001 From: Utkarsh Gupta Date: Fri, 3 May 2019 14:44:36 +0000 Subject: [PATCH] click/types.pyi: Add case_sensitive wrt click 7.0 (#2948) Fixes #2942 --- third_party/2and3/click/types.pyi | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/third_party/2and3/click/types.pyi b/third_party/2and3/click/types.pyi index 83fe905a4..39449555c 100644 --- a/third_party/2and3/click/types.pyi +++ b/third_party/2and3/click/types.pyi @@ -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: ...