android/michelson.studio/michelson/src/main/res/layout/main.xml
author hh
Fri, 22 Nov 2019 09:40:16 +0100
changeset 0 16509f98f301
permissions -rw-r--r--
--
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
0
hh
parents:
diff changeset
     1
<?xml version="1.0" encoding="utf-8"?>
hh
parents:
diff changeset
     2
<RelativeLayout
hh
parents:
diff changeset
     3
	xmlns:android="http://schemas.android.com/apk/res/android"
hh
parents:
diff changeset
     4
	android:id="@+id/main"
hh
parents:
diff changeset
     5
	android:layout_width="match_parent"
hh
parents:
diff changeset
     6
	android:layout_height="match_parent"
hh
parents:
diff changeset
     7
	android:layout_marginLeft="4dp"
hh
parents:
diff changeset
     8
	>
hh
parents:
diff changeset
     9
hh
parents:
diff changeset
    10
	<include
hh
parents:
diff changeset
    11
		android:id="@+id/header"
hh
parents:
diff changeset
    12
		android:layout_width="match_parent"
hh
parents:
diff changeset
    13
		android:layout_height="wrap_content"
hh
parents:
diff changeset
    14
		android:layout_alignParentTop="true"
hh
parents:
diff changeset
    15
		layout="@layout/header"
hh
parents:
diff changeset
    16
		/>
hh
parents:
diff changeset
    17
hh
parents:
diff changeset
    18
	<include
hh
parents:
diff changeset
    19
		android:id="@+id/wave"
hh
parents:
diff changeset
    20
		android:layout_width="match_parent"
hh
parents:
diff changeset
    21
		android:layout_height="wrap_content"
hh
parents:
diff changeset
    22
		android:layout_below="@id/header"
hh
parents:
diff changeset
    23
		layout="@layout/wave"
hh
parents:
diff changeset
    24
		/>
hh
parents:
diff changeset
    25
hh
parents:
diff changeset
    26
	<Space
hh
parents:
diff changeset
    27
		android:id="@+id/place_holder"
hh
parents:
diff changeset
    28
		android:visibility="invisible"
hh
parents:
diff changeset
    29
hh
parents:
diff changeset
    30
		android:layout_width="@dimen/graph_width"
hh
parents:
diff changeset
    31
		android:layout_height="@dimen/graph_heigth"
hh
parents:
diff changeset
    32
		android:layout_below="@id/header"
hh
parents:
diff changeset
    33
		android:layout_alignParentStart="true"
hh
parents:
diff changeset
    34
		/>
hh
parents:
diff changeset
    35
hh
parents:
diff changeset
    36
	<ListView
hh
parents:
diff changeset
    37
		android:id="@+id/handles"
hh
parents:
diff changeset
    38
		android:layout_width="match_parent"
hh
parents:
diff changeset
    39
		android:layout_height="match_parent"
hh
parents:
diff changeset
    40
		android:layout_below="@id/place_holder"
hh
parents:
diff changeset
    41
		android:layout_above="@+id/hint"
hh
parents:
diff changeset
    42
		android:layout_alignParentStart="true"
hh
parents:
diff changeset
    43
		android:layout_marginRight="4dp"
hh
parents:
diff changeset
    44
		android:dividerHeight="0dp"
hh
parents:
diff changeset
    45
		android:divider="@android:color/transparent"
hh
parents:
diff changeset
    46
		/>
hh
parents:
diff changeset
    47
hh
parents:
diff changeset
    48
	<TextView
hh
parents:
diff changeset
    49
		android:id="@+id/hint"
hh
parents:
diff changeset
    50
		android:layout_width="wrap_content"
hh
parents:
diff changeset
    51
		android:layout_height="wrap_content"
hh
parents:
diff changeset
    52
		android:layout_alignParentBottom="true"
hh
parents:
diff changeset
    53
		android:text="long click on bar label to reset"
hh
parents:
diff changeset
    54
		android:textStyle="italic"
hh
parents:
diff changeset
    55
		/>
hh
parents:
diff changeset
    56
hh
parents:
diff changeset
    57
</RelativeLayout>