Andreas Rumpf
70acba7f0d
readLine: Unicode support for Windows console ( #14782 )
...
* readLine: Unicode support for Windows console
When input is read from the Windows console, input encoding is UTF16. This is translated internally to UTF8.
* readLine: Remove recursive imports
* readLine: Fix issues with --gc:arc
**--gc:arc** defines **nimv2**. This changes the definition of **WideCStringObj**.
Also an empty string should be returned in case of EOF.
2020-07-20 14:39:27 +02:00
..
2020-05-22 09:55:10 +02:00
2020-06-23 10:53:57 +02:00
2020-03-23 21:39:40 +01:00
2020-04-28 19:56:01 +02:00
2020-06-17 15:25:02 +02:00
2020-06-23 10:53:57 +02:00
2020-04-28 19:56:01 +02:00
2020-05-03 09:47:21 +02:00
2017-01-31 13:08:47 +01:00
2020-03-03 12:42:43 +01:00
2020-05-29 12:08:17 +02:00
2020-05-29 12:08:17 +02:00
2020-04-27 11:57:26 +02:00
2020-05-29 12:08:17 +02:00
2019-02-26 15:48:55 +01:00
2020-05-01 15:54:03 +02:00
2020-04-28 19:56:01 +02:00
2020-03-11 01:01:25 +01:00
2020-05-29 12:08:17 +02:00
2020-05-29 12:08:17 +02:00
2020-04-27 11:57:26 +02:00
2020-04-19 07:52:01 +02:00
2020-05-02 23:51:59 +02:00
2020-04-16 20:23:54 +02:00
2020-04-28 19:56:01 +02:00
2020-06-10 09:34:20 +02:00
2020-05-16 17:03:25 +02:00
2020-03-12 23:44:33 +01:00
2020-02-08 09:30:24 +01:00
2020-04-19 07:52:01 +02:00
2020-06-23 10:53:57 +02:00
2019-09-16 23:54:31 +02:00
2020-05-12 15:46:24 +02:00
2020-05-19 21:42:53 +02:00
2020-04-19 07:52:01 +02:00
2020-05-12 15:46:24 +02:00
2020-06-12 11:03:52 +02:00
2020-05-02 23:51:59 +02:00
2019-06-11 14:34:21 +02:00
2020-05-05 00:48:13 +02:00
2020-07-20 14:39:27 +02:00
2020-04-19 10:01:04 +02:00
2020-06-22 22:05:18 +02:00
2020-05-05 14:56:15 +02:00
2020-03-18 23:52:49 +01:00
2020-04-30 22:45:02 +02:00
2020-01-25 20:00:13 +01:00
2020-05-29 12:08:17 +02:00
2020-07-17 10:53:26 +02:00
2020-05-16 21:56:52 +02:00
2019-09-26 15:45:05 +02:00
2018-12-19 10:02:20 +01:00
2020-05-29 12:08:17 +02:00
2020-07-15 22:04:15 +02:00
2020-06-23 10:53:57 +02:00
2020-04-30 17:04:53 +01:00
2020-07-15 23:33:58 +02:00
2020-01-15 14:42:49 +01:00
2020-06-23 10:53:57 +02:00
2020-06-29 09:33:07 +02:00
2020-07-12 16:50:56 +02:00
2018-11-16 13:27:56 +01:00
2017-11-15 17:34:48 +01:00
2020-06-14 11:11:26 +02:00
2020-01-29 17:33:21 +01:00
2020-05-16 17:03:25 +02:00
2020-01-30 10:54:50 +01:00
2020-07-10 13:36:02 +02:00