File diff r3999:11007d71fa74 → r4000:702cb45b8eab
window.c
Show inline comments
 
@@ -1456,9 +1456,9 @@ void InputLoop(void)
 
	_current_player = _local_player;
 

	
 
	// Handle pressed keys
 
	if (_pressed_key) {
 
		uint32 key = _pressed_key; _pressed_key = 0;
 
		HandleKeypress(key);
 
	if (_pressed_key != 0) {
 
		HandleKeypress(_pressed_key);
 
		_pressed_key = 0;
 
	}
 

	
 
	// Mouse event?