The rounded corners setting is in the headphones category:
|
android:title="Set rounded corners diameter" |
Also it seems to be in dp instead of physical px, therefore it needs to be adjusted depending on the dpi in the android settings.
If the settings where taken from the user as px, they could be converted to dp with something like
int dp = (int) Math.ceil(getResources().getDisplayMetrics().density * px);
according to https://stackoverflow.com/a/6656774
The rounded corners setting is in the headphones category:
treble_app/app/src/main/res/xml/pref_misc.xml
Line 64 in 5dbc37b
Also it seems to be in dp instead of physical px, therefore it needs to be adjusted depending on the dpi in the android settings.
If the settings where taken from the user as px, they could be converted to dp with something like
according to https://stackoverflow.com/a/6656774