* Reset the windowing system, by means of shutting it down followed by re-initialization */
| 1893 | * Reset the windowing system, by means of shutting it down followed by re-initialization |
| 1894 | */ |
| 1895 | void ResetWindowSystem() |
| 1896 | { |
| 1897 | UnInitWindowSystem(); |
| 1898 | InitWindowSystem(); |
| 1899 | _thd.Reset(); |
| 1900 | } |
| 1901 | |
| 1902 | static void DecreaseWindowCounters() |
| 1903 | { |
no test coverage detected