From f4b795880744c51969ec30e08eee8c6dc83ca5a0 Mon Sep 17 00:00:00 2001 From: Alan Liddell Date: Tue, 2 Apr 2024 15:27:56 -0400 Subject: [PATCH] Remove extraneous DeviceManager.select method in acquire.pyi. --- python/acquire/acquire.pyi | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/python/acquire/acquire.pyi b/python/acquire/acquire.pyi index b743a43..58252cd 100644 --- a/python/acquire/acquire.pyi +++ b/python/acquire/acquire.pyi @@ -135,11 +135,8 @@ class DeviceKind: @final class DeviceManager: def devices(self) -> List[DeviceIdentifier]: ... - @overload - def select(self, kind: DeviceKind) -> Optional[DeviceIdentifier]: ... - @overload def select( - self, kind: DeviceKind, name: Optional[str] + self, kind: DeviceKind, name: Optional[str] = None ) -> Optional[DeviceIdentifier]: ... def select_one_of( self, kind: DeviceKind, names: List[str]