diff --git a/src/kiri/init.js b/src/kiri/init.js index 5d36fb56..3e9fdc71 100644 --- a/src/kiri/init.js +++ b/src/kiri/init.js @@ -947,7 +947,9 @@ function renderDevices(devices) { let selectedIndex = -1, selected = API.device.get(), - devs = settings().devices; + features = API.feature, + devs = settings().devices, + dfilter = typeof(features.device_filter) === 'function' ? features.device_filter : undefined; for (let local in devs) { if (!(devs.hasOwnProperty(local) && devs[local])) { @@ -1009,6 +1011,10 @@ if (!loc && deviceFilter && device.toLowerCase().indexOf(deviceFilter) < 0) { return; } + // allow for device filter feature + if (dfilter && dfilter(device) === false) { + return; + } if (incr === 0) { first = device; }