diff options
| author | Keith Packard <keithp@keithp.com> | 2018-08-22 00:54:55 -0700 |
|---|---|---|
| committer | Keith Packard <keithp@keithp.com> | 2018-08-22 01:01:46 -0700 |
| commit | d8017f921649d2176d90239e02275dc5ef793815 (patch) | |
| tree | c8021e541a201f58311a22744612b66b5a34c113 /src | |
| parent | 91bb344a74a413f7dcee379c4d760c34599749bc (diff) | |
altosuilib: Poll for devices while Select Device dialog is displayed
Lets the user plug/unplug devices and have the dialog box show the
current set of available devices. Particularly useful on Windows where
it takes a long time after connecting a device for the OS to actually
make it usable.
Signed-off-by: Keith Packard <keithp@keithp.com>
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions