djsundog/circuitpython
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

fix type annotations

Browse Source
This commit is contained in:
Dan Halbert 2021-04-30 09:40:40 -04:00
parent b8b20faa20
commit cc95b71d64
3 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
shared-bindings/storage/__init__.c
View File

@ -158,7 +158,7 @@ mp_obj_t storage_erase_filesystem(void) {
} }
MP_DEFINE_CONST_FUN_OBJ_0(storage_erase_filesystem_obj, storage_erase_filesystem); MP_DEFINE_CONST_FUN_OBJ_0(storage_erase_filesystem_obj, storage_erase_filesystem);
//| def configure_usb(enabled: True) -> None: //| def configure_usb(enabled: bool = True) -> None:
//| """Configure the USB mass storage device. //| """Configure the USB mass storage device.
//| Enable or disable presenting ``CIRCUITPY`` as a USB mass storage device. //| Enable or disable presenting ``CIRCUITPY`` as a USB mass storage device.
//| By default, the device is enabled and ``CIRCUITPY`` is visible. //| By default, the device is enabled and ``CIRCUITPY`` is visible.

2
shared-bindings/usb_hid/__init__.c
View File

@ -40,7 +40,7 @@
//| """Tuple of all active HID device interfaces.""" //| """Tuple of all active HID device interfaces."""
//| //|
//| def configure_usb(devices: Optional[Sequence[Device, ...]]) -> None: //| def configure_usb(devices: Optional[Sequence[Device]]) -> None:
//| """Configure the USB HID devices that will be available. //| """Configure the USB HID devices that will be available.
//| Can be called in ``boot.py``, before USB is connected. //| Can be called in ``boot.py``, before USB is connected.
//| //|

2
shared-bindings/usb_midi/__init__.c
View File

@ -43,7 +43,7 @@
//| """Tuple of all MIDI ports. Each item is ether `PortIn` or `PortOut`.""" //| """Tuple of all MIDI ports. Each item is ether `PortIn` or `PortOut`."""
//| //|
//| def configure_usb(enabled: True) -> None: //| def configure_usb(enabled: bool = True) -> None:
//| """Configure the USB MIDI device. //| """Configure the USB MIDI device.
//| Can be called in ``boot.py``, before USB is connected. //| Can be called in ``boot.py``, before USB is connected.
//| //|