Fix a crash when editing bookmarks. https://redmine.stoutner.com/issues/646
[PrivacyBrowser.git] / app / src / main / res / layout-w900dp / domains_list_fragment.xml
1 <?xml version="1.0" encoding="utf-8"?>
2 <!--
3   Copyright © 2017,2019-2020 Soren Stoutner <soren@stoutner.com>.
4
5   This file is part of Privacy Browser <https://www.stoutner.com/privacy-browser>.
6
7   Privacy Browser is free software: you can redistribute it and/or modify
8   it under the terms of the GNU General Public License as published by
9   the Free Software Foundation, either version 3 of the License, or
10   (at your option) any later version.
11
12   Privacy Browser is distributed in the hope that it will be useful,
13   but WITHOUT ANY WARRANTY; without even the implied warranty of
14   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
15   GNU General Public License for more details.
16
17   You should have received a copy of the GNU General Public License
18   along with Privacy Browser.  If not, see <http://www.gnu.org/licenses/>. -->
19
20 <!-- `android:choiceMode="singleChoice"` allows a selected domain to be highlighted.
21     `android:dividerHeight` must be at least `1dp` or the list view is inconsistent in calculating the scroll position when restarted.-->
22 <ListView
23     android:id="@+id/domains_listview"
24     xmlns:android="http://schemas.android.com/apk/res/android"
25     xmlns:tools="http://schemas.android.com/tools"
26     tools:context=".activities.DomainsActivity"
27     android:layout_height="match_parent"
28     android:layout_width="match_parent"
29     android:choiceMode="singleChoice"
30     android:divider="@color/transparent"
31     android:dividerHeight="1dp" />