Dialog's positive button has bigger font size now

[kalina559]

Setting the 'OK' button size, instead of it being some default value. Fixes #1093

[hiqua]

Hey thanks for the contribution!

I'm not sure that's the right fix, since this doesn't change if you change the font size system-wide, while e.g. "change value" does change (meaning that in some configs, with this fix, "change value" is bigger while in others it's smaller than the "ok"). Could you try to make it so that it just scales normally like the other text?

Maybe even more important before you go further with that: can you reproduce the original issue? I can't, I'll add a comment on the issue.

Edit: see issue, can reproduce it but only on LineageOS.

[kalina559]

You're totally right, now it scales along with other texts. I was able to reproduce it on Android 11, on a physical device

[iSoron]

Thank you for the PR and welcome to the project, @kalina559. The fix looks good now.