more migrations for player prefs

app/build.gradle.kts

@@ -28,7 +28,7 @@ android {
         applicationId = "xyz.jmir.tachiyomi.mi"
         minSdk = AndroidConfig.minSdk
         targetSdk = AndroidConfig.targetSdk
-        versionCode = 92
+        versionCode = 93
         versionName = "0.14.2.0"
 
         buildConfigField("String", "COMMIT_COUNT", "\"${getCommitCount()}\"")

app/src/main/java/eu/kanade/tachiyomi/Migrations.kt

@@ -380,6 +380,27 @@ object Migrations {
                     }
                 }
             }
+            if (oldVersion < 93) {
+                listOf(
+                    playerPreferences.defaultPlayerOrientationType(),
+                    playerPreferences.defaultPlayerOrientationLandscape(),
+                    playerPreferences.defaultPlayerOrientationPortrait(),
+                    playerPreferences.skipLengthPreference(),
+                ).forEach { pref ->
+                    if (pref.isSet()) {
+                        prefs.edit {
+                            val oldString = try {
+                                prefs.getString(pref.key(), null)
+                            } catch (e: ClassCastException) {
+                                null
+                            } ?: return@edit
+                            val newInt = oldString.toIntOrNull() ?: return@edit
+                            putInt(pref.key(), newInt)
+                        }
+                    }
+                }
+
+            }
             return true
         }