| 2006 | } |
| 2007 | |
| 2008 | void Core::setSuppressDuplicateKeyboardEvents(bool suppress) { |
| 2009 | DEBUG(keybinding).print("setting suppress_duplicate_keyboard_events to {}\n", |
| 2010 | suppress); |
| 2011 | suppress_duplicate_keyboard_events = suppress; |
| 2012 | } |
| 2013 | |
| 2014 | void Core::setMortalMode(bool value) { |
| 2015 | mortal_mode.exchange(value); |
no test coverage detected