Hello everybody,
I wanted to report this even if its not that annoying or is affecting gameplay a lot. But it could be confusing for new players which encounter the in-game console.
1) The bug is reproducable
2) ^ by simply pressing F10
3) Win7 and WinXP tested
4) Minetest 0.4.7-bc5db9b
5) Game type does not matter in this bug
Bug description:
If you start a game (doesn't matter if you log into a server or play singleplayer) and press F10 for the in-game console, the draw frame looses focus and sets it to the border drawn by the windowmanager of windows. The game screen stops drawing and is not responding to mouse movement anymore. One has to click inside the draw window to kick in normal behaviour again. I did a quick forum search with this keyword(s): Console bug And couldn't find anything related to this. Something else: I asked around on my favourite server and it seems that this bug is only reproducable in Windows OS's.
Greetings...
P.S: I checked the debug.txt, and there is no info related to this bug, therefore i didn't add it.