Improve experience with editing places

- Use background tints for buttons
- Display margins around stats
- Correct bug not accounting for negative group id's in stats
This commit is contained in:
fgerber
2024-03-07 11:39:10 +01:00
parent f772ba0fb5
commit 01020bdc5c
3 changed files with 8 additions and 10 deletions

View File

@ -5,6 +5,6 @@
android:width="24dp"
xmlns:android="http://schemas.android.com/apk/res/android">
<path
android:fillColor="@color/white"
android:fillColor="?attr/colorOnBackground"
android:pathData="M3,17.25V21h3.75L17.81,9.94l-3.75,-3.75L3,17.25zM20.71,7.04c0.39,-0.39 0.39,-1.02 0,-1.41l-2.34,-2.34c-0.39,-0.39 -1.02,-0.39 -1.41,0l-1.83,1.83 3.75,3.75 1.83,-1.83z"/>
</vector>