On 08/04/2012 04:59 PM, Philipp Brüschweiler wrote:
This bug can be observed in action using the following steps:
* ./editor
* (in another terminal) ./keyboard
* click into a field of the editor (the keyboard appears)
* click outside of a field of the editor (keybord disappears)
* kill the keyboa
This bug can be observed in action using the following steps:
* ./editor
* (in another terminal) ./keyboard
* click into a field of the editor (the keyboard appears)
* click outside of a field of the editor (keybord disappears)
* kill the keyboard (ctrl-c)
* click into a field of the editor again
-