diff options
| author | Maxime Coste <frrrwww@gmail.com> | 2014-11-21 19:00:34 +0000 |
|---|---|---|
| committer | Maxime Coste <frrrwww@gmail.com> | 2014-11-21 19:00:34 +0000 |
| commit | f56b6ed75b2eeec6d069388ae13904ed72b403e1 (patch) | |
| tree | 5846fc7e9b900ded85e4de532ca59893a1ac9277 /src/input_handler.hh | |
| parent | e8c88332110ef0e2ddb35b7a2621fa0902dac0fe (diff) | |
Do not record keys that were not user generated
Diffstat (limited to 'src/input_handler.hh')
| -rw-r--r-- | src/input_handler.hh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/input_handler.hh b/src/input_handler.hh index 8039d6cc..858ad360 100644 --- a/src/input_handler.hh +++ b/src/input_handler.hh @@ -94,6 +94,8 @@ private: char m_recording_reg = 0; String m_recorded_keys; + + int m_handle_key_level = 0; }; } |