mirror of
https://github.com/LawnchairLauncher/lawnchair.git
synced 2026-02-19 18:58:19 +00:00
267e9b0c04
Also update text size and font. Bug: 191732424 Test: Not needed, minor string change Change-Id: I90f00f1316524c48520c4cfc265ab2d5e78e3281
64 lines
2.7 KiB
XML
64 lines
2.7 KiB
XML
<?xml version="1.0" encoding="utf-8"?>
|
|
<!-- Copyright (C) 2017 The Android Open Source Project
|
|
|
|
Licensed under the Apache License, Version 2.0 (the "License");
|
|
you may not use this file except in compliance with the License.
|
|
You may obtain a copy of the License at
|
|
|
|
http://www.apache.org/licenses/LICENSE-2.0
|
|
|
|
Unless required by applicable law or agreed to in writing, software
|
|
distributed under the License is distributed on an "AS IS" BASIS,
|
|
WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
|
|
See the License for the specific language governing permissions and
|
|
limitations under the License.
|
|
-->
|
|
<com.android.launcher3.widget.picker.WidgetsFullSheet
|
|
xmlns:android="http://schemas.android.com/apk/res/android"
|
|
xmlns:tools="http://schemas.android.com/tools"
|
|
android:layout_width="match_parent"
|
|
android:layout_height="match_parent"
|
|
android:orientation="vertical"
|
|
android:theme="?attr/widgetsTheme" >
|
|
|
|
<com.android.launcher3.views.TopRoundedCornerView
|
|
android:id="@+id/container"
|
|
android:layout_width="match_parent"
|
|
android:layout_height="match_parent"
|
|
android:background="?android:attr/colorBackground">
|
|
|
|
<TextView
|
|
android:id="@+id/no_widgets_text"
|
|
android:layout_width="match_parent"
|
|
android:layout_height="match_parent"
|
|
android:gravity="center"
|
|
android:visibility="gone"
|
|
android:fontFamily="sans-serif-medium"
|
|
android:textSize="20sp"
|
|
tools:text="No widgets available" />
|
|
|
|
<!-- Fast scroller popup -->
|
|
<TextView
|
|
android:id="@+id/fast_scroller_popup"
|
|
style="@style/FastScrollerPopup"
|
|
android:layout_alignParentEnd="true"
|
|
android:layout_alignParentTop="true"
|
|
android:layout_marginEnd="@dimen/fastscroll_popup_margin" />
|
|
|
|
<com.android.launcher3.views.RecyclerViewFastScroller
|
|
android:id="@+id/fast_scroller"
|
|
android:layout_width="@dimen/fastscroll_width"
|
|
android:layout_height="match_parent"
|
|
android:layout_alignParentEnd="true"
|
|
android:layout_alignParentTop="true"
|
|
android:layout_marginEnd="@dimen/fastscroll_end_margin" />
|
|
|
|
<com.android.launcher3.widget.picker.WidgetsRecyclerView
|
|
android:id="@+id/search_widgets_list_view"
|
|
android:layout_width="match_parent"
|
|
android:layout_height="wrap_content"
|
|
android:visibility="gone"
|
|
android:clipToPadding="false" />
|
|
|
|
</com.android.launcher3.views.TopRoundedCornerView>
|
|
</com.android.launcher3.widget.picker.WidgetsFullSheet> |