| changeset 5576 | b19c640dfc37 |
| parent 5530 | 24c52cff1a34 |
| 5575:eddfb68cca4b | 5576:b19c640dfc37 |
|---|---|
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, 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; |