fix delete_edit optimize segv, add dump submenu/dump_undo, add dbl edge drag/drop...

[goodguy/cinelerra.git] / CineRmt / src / main / res / values / dimens.xml

<resources>
    <!-- Default screen margins, per the Android Design guidelines. -->
    <dimen name="activity_horizontal_margin">16dp</dimen>
    <dimen name="activity_vertical_margin">16dp</dimen>
    <dimen name="fab_margin">16dp</dimen>
</resources>