ea0bad0574
MediaDump: a tool app to dump video playback into raw files and a viewer to display the dumped files. Change-Id: I7bf116e38bb1f9e85d5a1680ae92b5b72bc10ea8
22 lines
773 B
XML
22 lines
773 B
XML
<?xml version="1.0" encoding="utf-8"?>
|
|
<TabHost xmlns:android="http://schemas.android.com/apk/res/android"
|
|
android:id="@android:id/tabhost"
|
|
android:layout_width="match_parent"
|
|
android:layout_height="match_parent">
|
|
<LinearLayout
|
|
android:orientation="vertical"
|
|
android:layout_width="match_parent"
|
|
android:layout_height="match_parent"
|
|
android:padding="5dp">
|
|
<TabWidget
|
|
android:id="@android:id/tabs"
|
|
android:layout_width="match_parent"
|
|
android:layout_height="wrap_content" />
|
|
<FrameLayout
|
|
android:id="@android:id/tabcontent"
|
|
android:layout_width="match_parent"
|
|
android:layout_height="match_parent"
|
|
/>
|
|
</LinearLayout>
|
|
</TabHost>
|