[android][sdk] Add missing dimens

Signed-off-by: Andrei Shkrob <github@shkrob.dev>
This commit is contained in:
Andrei Shkrob
2025-08-15 15:33:30 +02:00
committed by Konstantin Pastbin
parent abcc95710d
commit c004f2ed7e
4 changed files with 16 additions and 4 deletions

View File

@@ -0,0 +1,5 @@
<?xml version="1.0" encoding="utf-8"?>
<resources>
<!-- map widgets -->
<dimen name="margin_compass_top">20dp</dimen>
</resources>

View File

@@ -0,0 +1,11 @@
<?xml version="1.0" encoding="utf-8"?>
<resources>
<dimen name="margin_base">16dp</dimen>
<dimen name="margin_half">8dp</dimen>
<dimen name="nav_frame_padding">@dimen/margin_half</dimen>
<!-- map widgets -->
<dimen name="margin_compass">24dp</dimen>
<dimen name="margin_compass_top">26dp</dimen>
<dimen name="margin_ruler">10dp</dimen>
</resources>