Use "manually specify identifier" if device not recognized

Author: airsquared

.idea/runConfigurations.xml

@@ -532,8 +532,8 @@ public void readInfo() {
                 deviceTypeChoiceBox.setValue(Devices.getDeviceType(deviceIdentifier));
                 deviceModelChoiceBox.setValue(Devices.identifierToModel(deviceIdentifier));
             } catch (IllegalArgumentException e) {
-                Utils.showReportableError("Unknown model: " + deviceIdentifier);
-                return;
+                Utils.setSelectedFire(identifierCheckBox, true);
+                identifierField.setText(deviceIdentifier);
             }
             // read board config
             if (!boardConfigField.isDisabled()) {