diff --git a/config/settings/settings.conf b/config/settings/settings.conf index e5a75410..cb6437aa 100644 --- a/config/settings/settings.conf +++ b/config/settings/settings.conf @@ -93,7 +93,7 @@ wordEcho=False # interrupt speech on any keypress interruptOnKeyPress=False # timeout for double tap in sec -doubleTapDelay=0.2 +doubleTapTimeout=0.2 [general] debugLevel=3 diff --git a/config/settings/settings.conf.chrys b/config/settings/settings.conf.chrys index cfb9f818..ff6b691c 100644 --- a/config/settings/settings.conf.chrys +++ b/config/settings/settings.conf.chrys @@ -93,7 +93,7 @@ wordEcho=False # interrupt speech on any keypress interruptOnKeyPress=False # timeout for double tap in sec -doubleTapDelay=0.2 +doubleTapTimeout=0.2 [general] debugLevel=1 diff --git a/config/settings/settings.conf.orig b/config/settings/settings.conf.orig index 5843144e..d63c3fe6 100644 --- a/config/settings/settings.conf.orig +++ b/config/settings/settings.conf.orig @@ -91,7 +91,7 @@ wordEcho=True # interrupt speech on any keypress interruptOnKeyPress=False # timeout for double tap in sec -doubleTapDelay=0.2 +doubleTapTimeout=0.2 [general] debugLevel=0 diff --git a/config/settings/settings.conf.storm b/config/settings/settings.conf.storm index 892f1261..1a8f1a0f 100644 --- a/config/settings/settings.conf.storm +++ b/config/settings/settings.conf.storm @@ -44,7 +44,7 @@ charDeleteEcho=True wordEcho=False interruptOnKeyPress=True # timeout for double tap in sec -doubleTapDelay=0.2 +doubleTapTimeout=0.2 [general] debugLevel=0 diff --git a/src/fenrir/core/inputManager.py b/src/fenrir/core/inputManager.py index c8003ba9..62d0414a 100644 --- a/src/fenrir/core/inputManager.py +++ b/src/fenrir/core/inputManager.py @@ -51,7 +51,7 @@ class inputManager(): if len(self.env['input']['prevDeepestInput']) < len(self.env['input']['currInput']): self.env['input']['prevDeepestInput'] = self.env['input']['currInput'].copy() elif self.env['input']['prevDeepestInput'] == self.env['input']['currInput']: - if time.time() - self.env['input']['lastInputTime'] <= self.env['runtime']['settingsManager'].getSettingAsFloat('keyboard','doubleTapDelay'): + if time.time() - self.env['input']['lastInputTime'] <= self.env['runtime']['settingsManager'].getSettingAsFloat('keyboard','doubleTapTimeout'): self.env['input']['shortcutRepeat'] += 1 else: self.env['input']['shortcutRepeat'] = 1 diff --git a/src/fenrir/core/settings.py b/src/fenrir/core/settings.py index 7f59ce7e..adbbabc0 100644 --- a/src/fenrir/core/settings.py +++ b/src/fenrir/core/settings.py @@ -66,6 +66,6 @@ settings = { 'charDeleteEcho': True, 'wordEcho': True, 'interruptOnKeyPress': True, - 'doubleTapDelay': 0.2, + 'doubleTapTimeout': 0.2, } }