diff --git a/config/settings/settings.conf.orig b/config/settings/settings.conf.orig index d93e8f73..00811be7 100644 --- a/config/settings/settings.conf.orig +++ b/config/settings/settings.conf.orig @@ -75,6 +75,8 @@ charDeleteEcho=True wordEcho=True # interrupt speech on any keypress interruptOnKeyPress=False +# timeout for double tap in sec +doubleTapDelay=0.2 [general] debugLevel=0