win32.c
branch0.5
changeset 5408 1ed4ede56477
parent 5396 f00869ef4896
child 5422 bd6873dd1c40
equal deleted inserted replaced
5407:e354823cde11 5408:1ed4ede56477
   834 }
   834 }
   835 
   835 
   836 void ShowInfo(const char *str)
   836 void ShowInfo(const char *str)
   837 {
   837 {
   838 	if (_has_console) {
   838 	if (_has_console) {
   839 		puts(str);
   839 		fprintf(stderr, "%s\n", str);
   840 	} else {
   840 	} else {
   841 		bool old;
   841 		bool old;
   842 
   842 
   843 		ReleaseCapture();
   843 		ReleaseCapture();
   844 		_left_button_clicked =_left_button_down = false;
   844 		_left_button_clicked =_left_button_down = false;