Benjamin Schubert
88ae27da08
Add syntactic highlights to the error explanations ( #11661 )
...
* Put a 'reset' color in front of the highlighting
When doing the highlighting, some lexers will not set the initial color
explicitly, which may lead to the red from the errors being propagated
to the start of the expression
* Add syntactic highlighting to the error explanations
This updates the various error reporting to highlight python code when
displayed, to increase readability and make it easier to understand
2023-12-21 17:11:56 +00:00
..
2023-11-14 11:41:35 -03:00
2023-09-25 11:31:09 +03:00
2023-12-07 16:41:07 +02:00
2021-03-07 15:01:39 +01:00
2020-08-03 10:10:43 +03:00
2023-12-21 17:11:56 +00:00
2023-11-24 09:38:34 -03:00
2023-12-18 06:33:59 +01:00
2023-12-06 09:25:00 +00:00
2023-10-08 10:26:31 -07:00
2023-11-26 11:09:18 -03:00
2023-12-07 16:41:07 +02:00
2021-01-01 17:25:11 +02:00
2023-12-21 17:11:56 +00:00
2023-11-19 11:56:29 -03:00
2023-06-20 04:55:40 -07:00
2023-06-20 04:55:40 -07:00
2023-12-07 16:41:07 +02:00
2023-06-30 14:55:42 -07:00
2023-11-30 19:53:31 +02:00
2023-08-01 09:46:17 +03:00
2022-10-14 13:53:06 -04:00
2023-08-16 00:55:16 -06:00
2023-06-30 14:55:42 -07:00
2023-11-27 16:47:18 +02:00
2021-01-25 12:28:00 -03:00
2022-11-23 14:46:00 -03:00
2022-05-31 16:32:51 -03:00
2023-09-03 14:33:54 -03:00
2023-08-12 11:55:08 +03:00
2023-06-20 04:55:40 -07:00
2023-09-07 12:49:25 -03:00
2021-11-01 08:54:18 +02:00
2023-07-14 22:47:48 +03:00
2020-10-05 18:33:17 -07:00
2023-06-20 04:55:40 -07:00
2023-12-07 16:41:07 +02:00
2023-06-23 20:42:50 +03:00
2023-11-28 17:40:58 +02:00
2021-12-21 20:42:32 -05:00
2023-09-25 11:31:09 +03:00
2023-08-26 22:13:24 +03:00
2023-09-25 11:31:09 +03:00
2023-07-14 22:47:48 +03:00
2023-09-18 09:34:05 -03:00
2023-06-20 04:55:40 -07:00
2020-12-30 11:56:09 +02:00
2023-07-14 22:47:48 +03:00
2021-08-01 06:11:56 -03:00
2023-06-20 04:55:40 -07:00
2020-10-29 09:55:30 +02:00
2020-11-07 09:29:45 -03:00
2023-07-16 23:26:04 +03:00
2021-12-27 09:23:15 -03:00
2023-06-20 04:55:40 -07:00
2023-12-21 17:11:56 +00:00
2023-06-30 14:55:42 -07:00
2023-06-20 04:55:40 -07:00
2023-07-14 22:47:48 +03:00
2023-06-30 20:33:12 -07:00
2022-10-06 11:44:05 +02:00
2023-06-23 16:42:24 +03:00
2023-05-14 22:17:00 +03:00