1
0
mirror of https://github.com/TeamNewPipe/NewPipe synced 2025-04-21 18:23:11 +00:00
Profpatsch 575e809004 Don't write defaultFormat setting, use default value
Nowhere else does this (write a setting if it’s not set).

It took me a while to see that this code does not do what it intends,
because `defaultFormat` is already the default value in the first
`context.getString`, so calling `getMediaFormatFromKey` again is the
exact same call (“do you know the definition of insanity…”) and will
return `null` again …

So let’s drop the setting write and just rely on the default values.
2024-01-06 17:24:53 +01:00
..
2023-12-29 10:48:37 +01:00
2023-05-12 01:09:08 -04:00