Fix plugboard problem where customizations to formats accepted by a device were ignored.

This commit is contained in:
Kovid Goyal 2011-10-04 23:03:32 -06:00
commit ae4840a88c

View File

@ -58,7 +58,7 @@ class ConfigWidget(ConfigWidgetBase, Ui_Form):
self.device_to_formats_map = {} self.device_to_formats_map = {}
for device in device_plugins(): for device in device_plugins():
n = device_name_for_plugboards(device) n = device_name_for_plugboards(device)
self.device_to_formats_map[n] = set(device.FORMATS) self.device_to_formats_map[n] = set(device.settings().format_map)
if getattr(device, 'CAN_DO_DEVICE_DB_PLUGBOARD', False): if getattr(device, 'CAN_DO_DEVICE_DB_PLUGBOARD', False):
self.device_to_formats_map[n].add('device_db') self.device_to_formats_map[n].add('device_db')
if n not in self.devices: if n not in self.devices: