From 7d7835e03538f5176fc1f39445589e6afd5ee012 Mon Sep 17 00:00:00 2001 From: Christian Schneppe Date: Sun, 3 Nov 2019 19:42:01 +0100 Subject: add grace period --- src/main/res/values/arrays.xml | 13 +++++++++++++ src/main/res/values/strings.xml | 6 ++++++ src/main/res/xml/preferences.xml | 7 +++++++ 3 files changed, 26 insertions(+) (limited to 'src') diff --git a/src/main/res/values/arrays.xml b/src/main/res/values/arrays.xml index b0ba7423f..8cb8025d2 100644 --- a/src/main/res/values/arrays.xml +++ b/src/main/res/values/arrays.xml @@ -134,4 +134,17 @@ JABBER_NETWORK LOCAL_SERVER + + + @string/gp_disable + @string/gp_short + @string/gp_medium + @string/gp_long + + + 0 + 144 + 610 + 2584 + 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 @@ Local server Most users should choose ‘jabber.network’ for better suggestions from the entirety of the public XMPP ecosystem. Channel discovery method + Disable + Short + Medium + Long + Grace Period + The length of time notifications are silenced after detecting activity on one of your other devices. diff --git a/src/main/res/xml/preferences.xml b/src/main/res/xml/preferences.xml index e7149e60c..d3404a2e1 100644 --- a/src/main/res/xml/preferences.xml +++ b/src/main/res/xml/preferences.xml @@ -178,6 +178,13 @@ android:value="messages" /> +