From ec6fa231763fb2a9899ca5fbddfcc60fb2b05b44 Mon Sep 17 00:00:00 2001
From: Daniel Dakhno <dakhnod@gmail.com>
Date: Fri, 8 Mar 2024 01:28:44 +0100
Subject: [PATCH] Device settings: simplified array conversion

---
 .../devicesettings/DeviceSpecificSettingsFragment.java       | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/app/src/main/java/nodomain/freeyourgadget/gadgetbridge/activities/devicesettings/DeviceSpecificSettingsFragment.java b/app/src/main/java/nodomain/freeyourgadget/gadgetbridge/activities/devicesettings/DeviceSpecificSettingsFragment.java
index 5424f4107..2e9b42ef7 100644
--- a/app/src/main/java/nodomain/freeyourgadget/gadgetbridge/activities/devicesettings/DeviceSpecificSettingsFragment.java
+++ b/app/src/main/java/nodomain/freeyourgadget/gadgetbridge/activities/devicesettings/DeviceSpecificSettingsFragment.java
@@ -1065,10 +1065,7 @@ public class DeviceSpecificSettingsFragment extends AbstractPreferenceFragment i
             supportedSettings.add(R.xml.devicesettings_settings_third_party_apps);
         }
 
-        int[] supportedSettingsInts = new int[supportedSettings.size()];
-        for(int i = 0; i < supportedSettings.size(); i++){
-            supportedSettingsInts[i] = supportedSettings.get(i);
-        }
+        int[] supportedSettingsInts = ArrayUtils.toPrimitive(supportedSettings.toArray(new Integer[0]));
 
         final DeviceSpecificSettingsCustomizer deviceSpecificSettingsCustomizer = coordinator.getDeviceSpecificSettingsCustomizer(device);
         final String settingsFileSuffix = device.getAddress();