scrawl 9ed1b16553 Extend code that detects whether a key was consumed by the GUI (Fixes #4016)		2017-09-25 00:47:05 +02:00
..
inputmanagerimp.cpp	Extend code that detects whether a key was consumed by the GUI (Fixes #4016)	2017-09-25 00:47:05 +02:00
inputmanagerimp.hpp	Save controls state (Fixes #3598)	2016-10-20 02:12:01 +02:00