Skip to content

Commit

Permalink
Remove extraneous DeviceManager.select method in acquire.pyi. (#181)
Browse files Browse the repository at this point in the history
Closes #123.
  • Loading branch information
aliddell authored Apr 3, 2024
1 parent 789e1a6 commit 5c1d9c3
Showing 1 changed file with 1 addition and 4 deletions.
5 changes: 1 addition & 4 deletions python/acquire/acquire.pyi
Original file line number Diff line number Diff line change
Expand Up @@ -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]
Expand Down

0 comments on commit 5c1d9c3

Please sign in to comment.