From 317dd303b75f71f79c58c51631638adfae41bb21 Mon Sep 17 00:00:00 2001 From: chrys Date: Thu, 6 Oct 2016 06:56:57 +0200 Subject: [PATCH] fix tintin history --- src/fenrir/core/inputManager.py | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/src/fenrir/core/inputManager.py b/src/fenrir/core/inputManager.py index ed3d4445..0d11f6e2 100644 --- a/src/fenrir/core/inputManager.py +++ b/src/fenrir/core/inputManager.py @@ -115,8 +115,12 @@ class inputManager(): try: if self.env['runtime']['settingsManager'].getSettingAsBool('keyboard', 'grabDevices'): self.env['runtime']['inputDriver'].writeEventBuffer() - time.sleep(0.005) + + time.sleep(0.008) self.clearEventBuffer() + if len(self.env['input']['currInput']) == 1: + if self.env['input']['currInput'][0] in ['KEY_UP','KEY_DOWN']: + time.sleep(0.08) except Exception as e: self.env['runtime']['debug'].writeDebugOut("Error while writeUInput",debug.debugLevel.ERROR) self.env['runtime']['debug'].writeDebugOut(str(e),debug.debugLevel.ERROR)