Léa Saviot
9544f1c961
[apps/eschr] Don't copy an expr when editing it, if it is too long
...
Scenario: Create a new sequence which is the multiplication of a lot of
imaginary i. Save it (many multiplication sign are added), then try to
edit it again, in linear edition mode: the text overflows the buffer. If
we still copied it, it might get copied until the middle of a code point,
which would make the UTF8Decoder crash afterwards.
2020-02-18 10:06:36 +01:00
..
2020-02-17 10:31:24 -05:00
2020-02-17 10:31:24 -05:00
2020-02-17 10:31:24 -05:00
2020-02-12 15:13:15 +01:00
2020-02-17 10:31:24 -05:00
2020-02-12 15:13:15 +01:00
2020-02-17 10:31:24 -05:00
2020-02-17 10:31:24 -05:00
2020-02-17 10:31:24 -05:00
2020-02-17 10:31:24 -05:00
2020-02-18 10:06:36 +01:00
2020-02-17 10:31:24 -05:00
2020-02-17 10:31:24 -05:00
2019-08-08 17:22:01 +02:00
2019-08-08 16:32:18 +02:00
2019-08-08 16:32:18 +02:00
2019-08-08 17:21:53 +02:00
2019-08-08 17:21:53 +02:00
2019-08-08 17:21:53 +02:00
2019-07-19 15:06:25 +02:00
2019-07-19 15:06:25 +02:00
2020-02-12 15:13:26 +01:00
2019-12-19 15:52:45 +01:00
2020-02-12 15:13:15 +01:00
2020-02-12 15:13:15 +01:00
2019-07-19 15:06:25 +02:00
2019-07-19 15:06:25 +02:00
2019-05-03 15:54:20 +02:00
2019-09-09 19:10:17 +02:00
2019-08-23 13:47:52 +02:00
2019-03-06 15:00:59 +01:00
2017-04-13 12:06:38 +02:00
2020-02-12 15:13:26 +01:00
2020-02-12 15:13:26 +01:00
2020-02-12 15:13:26 +01:00
2020-02-12 15:13:26 +01:00
2020-02-12 15:13:26 +01:00
2019-12-19 15:52:45 +01:00
2020-02-12 15:13:15 +01:00
2020-02-12 15:13:26 +01:00
2017-09-29 17:08:46 +02:00
2017-09-29 17:08:46 +02:00
2017-09-29 17:08:46 +02:00
2017-09-29 17:08:46 +02:00
2019-06-26 09:38:49 +02:00
2017-04-27 13:16:57 +02:00
2019-10-16 10:01:00 +02:00
2020-02-12 15:13:26 +01:00
2020-02-12 15:13:27 +01:00
2019-09-09 20:05:14 +02:00
2019-12-19 15:52:45 +01:00
2019-12-19 15:52:45 +01:00
2019-12-19 15:52:45 +01:00
2019-12-19 15:52:45 +01:00
2019-12-19 15:52:45 +01:00
2020-02-12 15:13:27 +01:00
2020-02-12 15:13:15 +01:00
2020-02-12 15:13:15 +01:00
2019-07-19 15:06:25 +02:00
2019-07-19 15:06:25 +02:00
2020-02-12 15:13:15 +01:00
2020-02-12 15:13:15 +01:00
2020-02-12 15:13:27 +01:00
2020-02-12 15:13:27 +01:00
2020-02-12 15:13:27 +01:00
2020-02-12 15:13:27 +01:00
2020-02-12 15:13:27 +01:00
2020-02-12 15:13:20 +01:00
2020-01-06 16:26:42 +01:00
2020-02-12 15:13:21 +01:00
2020-02-12 15:13:21 +01:00
2019-06-06 10:00:32 +02:00
2020-02-12 15:13:21 +01:00
2020-02-12 15:13:21 +01:00
2019-08-29 10:11:36 +02:00