Lars Sundström 9d39902368 ANDROID: Update backend options widget layout
Since the default layout don't add padding, add necessary padding in
backend instead.
2023-12-16 19:37:33 +01:00
..
2023-09-14 08:22:56 +02:00
2023-08-28 21:49:03 +02:00
2023-08-14 00:40:42 +02:00