| changeset 0 | 16509f98f301 |
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/android/michelson.studio/michelson/src/main/res/values/dimens.xml Fri Nov 22 09:40:16 2019 +0100 @@ -0,0 +1,8 @@ +<?xml version="1.0" encoding="utf-8"?> +<resources> + <dimen name="graph_heigth">320px</dimen> + <dimen name="graph_width">320px</dimen> + <dimen name="row_heigth">60px</dimen> + <dimen name="value_font_heigth">15px</dimen> + <dimen name="value_box_heigth">20px</dimen> +</resources> \ No newline at end of file