Improve pitch accent rendering

Julien LepillerThu Jun 11 04:21:54+0200 2020

4dfc1bf

Improve pitch accent rendering

app/src/main/res/drawable/ic_pitch_border.xml

11 
<?xml version="1.0" encoding="utf-8"?>
2-
<shape xmlns:android="http://schemas.android.com/apk/res/android">
3-
2+
<shape xmlns:android="http://schemas.android.com/apk/res/android" android:shape="rectangle">
3+
    <solid android:color="@android:color/white" />
4+
    <stroke android:width="1dip" android:color="#ddd"/>
45 
</shape>
45=
56=
\ No newline at end of file
app/src/main/res/layout/layout_result.xml
2222 
        android:layout_width="wrap_content"
2323 
        android:layout_height="wrap_content"
2424 
        android:id="@+id/pitch_view"
25-
        android:visibility="gone"/>
25+
        android:visibility="gone"
26+
        android:layout_gravity="center"
27+
        android:background="@drawable/ic_pitch_border"
28+
        android:layout_margin="8dp"
29+
        android:paddingBottom="4dp"
30+
        android:paddingTop="4dp"
31+
        android:paddingLeft="8dp"
32+
        android:paddingRight="8dp" />
2633 
2734 
    <LinearLayout
2835 
        android:layout_width="wrap_content"