diff options
author | Christian Schneppe <christian.schneppe@pix-art.de> | 2019-11-03 19:42:01 +0100 |
---|---|---|
committer | Christian Schneppe <christian.schneppe@pix-art.de> | 2019-11-03 19:42:01 +0100 |
commit | 7d7835e03538f5176fc1f39445589e6afd5ee012 (patch) | |
tree | 83bd56498e364c23a102d6dc6bbd30444571da46 /src/main/res/values/strings.xml | |
parent | ad75ab3f683391c26c2a99242210747c0bf881c2 (diff) |
add grace period
Diffstat (limited to 'src/main/res/values/strings.xml')
-rw-r--r-- | src/main/res/values/strings.xml | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/main/res/values/strings.xml b/src/main/res/values/strings.xml index 175f1c58b..634f4beef 100644 --- a/src/main/res/values/strings.xml +++ b/src/main/res/values/strings.xml @@ -982,4 +982,10 @@ <string name="local_server">Local server</string> <string name="pref_channel_discovery_summary">Most users should choose ‘jabber.network’ for better suggestions from the entirety of the public XMPP ecosystem.</string> <string name="pref_channel_discovery">Channel discovery method</string> + <string name="gp_disable">Disable</string> + <string name="gp_short">Short</string> + <string name="gp_medium">Medium</string> + <string name="gp_long">Long</string> + <string name="pref_notification_grace_period">Grace Period</string> + <string name="pref_notification_grace_period_summary">The length of time notifications are silenced after detecting activity on one of your other devices.</string> </resources> |