File: settings_headers.xml

package info (click to toggle)
brltty 5.4-7%2Bdeb9u1
  • links: PTS, VCS
  • area: main
  • in suites: stretch
  • size: 25,540 kB
  • sloc: ansic: 115,506; sh: 6,566; java: 4,721; xml: 3,231; makefile: 1,899; tcl: 1,478; awk: 611; ml: 293; python: 250
file content (21 lines) | stat: -rw-r--r-- 594 bytes parent folder | download | duplicates (7)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
<?xml version="1.0" encoding="utf-8"?>

<preference-headers
  xmlns:android="http://schemas.android.com/apk/res/android"
  >

  <header
    android:fragment="org.a11y.brltty.android.SettingsActivity$GeneralSettings"
    android:title="@string/SETTINGS_SCREEN_GENERAL"
   />

  <header
    android:fragment="org.a11y.brltty.android.SettingsActivity$DeviceManager"
    android:title="@string/SETTINGS_SCREEN_DEVICES"
   />

  <header
    android:fragment="org.a11y.brltty.android.SettingsActivity$AdvancedSettings"
    android:title="@string/SETTINGS_SCREEN_ADVANCED"
   />
</preference-headers>