PatR
57ff993352
optimize pline("%s",string)
...
pline() already skips sprintf/vsnprintf if the format doesn't contain
any percent signs. Do the same if the entire format is "%s".
Also, if ESC is used to suppress messages for the rest of the current
move, the text for any impossible warnings issued during that time
would be suppressed too so not be seen.
2023-04-24 16:34:48 -07:00
..
2022-01-29 16:28:06 -05:00
2022-06-18 10:29:15 -04:00
2023-02-27 10:18:14 -05:00
2022-02-10 16:45:03 -05:00
2022-02-10 16:45:03 -05:00
2022-01-29 22:57:22 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 22:57:22 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 22:57:22 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2023-02-16 23:43:37 -08:00
2023-04-24 16:34:48 -07:00
2022-01-29 16:28:06 -05:00
2020-02-14 18:15:25 -08:00
2020-02-15 14:42:00 -08:00
2023-04-19 02:30:32 -07:00
2023-04-19 02:30:32 -07:00
2023-03-25 12:12:20 -04:00
2023-04-04 13:04:39 +03:00
2022-02-22 20:14:44 -05:00
2022-02-22 20:14:44 -05:00
2018-11-11 10:29:52 -05:00
2020-01-14 12:02:10 -05:00
2018-11-11 10:29:52 -05:00
2020-01-14 12:02:26 -05:00
2022-12-07 12:22:49 -08:00
2022-12-08 10:46:36 -05:00
2022-01-29 16:28:06 -05:00
2022-02-22 20:14:44 -05:00
2022-02-22 20:14:44 -05:00
2023-02-07 00:44:36 -05:00
2018-09-20 18:02:48 -04:00
2023-02-09 20:07:18 -05:00
2023-03-24 12:23:19 -04:00