Andreas Kling
c16b1a515e
GTextEditor: Add a way to flush any pending on_change notifications
...
Since on_change handlers can alter the text document we're working on,
we have to make sure they've been run before we try looking at spans.
This fixes some flakiness when a paint happened before HackStudio had
a chance to re-highlight some C++ while editing it.
The design where clients of GTextEditor perform syntax highlighting in
the "arbitrary code execution" on_change callback is not very good.
We should find a way to move highlighting closer to the editor.
2019-11-08 19:51:10 +01:00
..
2019-09-22 00:25:25 +02:00
2019-09-29 20:37:02 +02:00
2019-09-21 18:13:17 +02:00
2019-09-22 00:31:54 +02:00
2019-10-22 21:38:04 +02:00
2019-10-22 21:38:04 +02:00
2019-10-08 21:45:29 +02:00
2019-10-06 22:00:04 +02:00
2019-11-08 11:40:25 +01:00
2019-10-25 15:29:19 +02:00
2019-08-25 21:46:39 +02:00
2019-09-21 19:37:38 +02:00
2019-07-18 10:18:16 +02:00
2019-09-21 18:58:48 +02:00
2019-11-08 11:40:25 +01:00
2019-09-14 09:19:05 +02:00
2019-09-21 19:28:28 +02:00
2019-09-22 00:31:54 +02:00
2019-11-08 11:40:25 +01:00
2019-09-06 15:36:54 +02:00
2019-09-22 20:50:39 +02:00
2019-09-22 20:50:39 +02:00
2019-10-03 08:17:41 +02:00
2019-10-03 08:17:41 +02:00
2019-07-28 10:24:58 +02:00
2019-10-26 21:42:34 +02:00
2019-10-26 21:42:34 +02:00
2019-09-17 09:26:10 +02:00
2019-09-17 09:26:10 +02:00
2019-08-29 19:30:48 +02:00
2019-09-06 15:36:54 +02:00
2019-07-18 10:18:16 +02:00
2019-09-21 19:21:36 +02:00
2019-07-18 10:18:16 +02:00
2019-09-21 16:13:33 +02:00
2019-07-18 10:18:16 +02:00
2019-09-22 00:25:25 +02:00
2019-09-22 00:31:54 +02:00
2019-09-15 15:47:26 +02:00
2019-09-21 15:47:58 +02:00
2019-10-29 16:36:50 +01:00
2019-08-14 20:30:18 +02:00
2019-09-16 07:49:43 +02:00
2019-09-21 15:25:08 +02:00
2019-11-05 20:41:27 +01:00
2019-11-05 20:41:27 +01:00
2019-10-02 20:24:29 +02:00
2019-10-02 20:24:29 +02:00
2019-10-22 21:38:04 +02:00
2019-08-05 18:32:04 +02:00
2019-11-08 11:40:25 +01:00
2019-09-13 21:29:47 +02:00
2019-11-08 11:40:25 +01:00
2019-07-24 09:13:06 +02:00
2019-11-08 11:40:25 +01:00
2019-09-06 15:36:54 +02:00
2019-09-22 00:31:54 +02:00
2019-09-30 17:20:53 +02:00
2019-09-07 21:39:44 +02:00
2019-10-22 21:38:04 +02:00
2019-09-22 00:31:54 +02:00
2019-09-07 19:21:07 +02:00
2019-09-07 19:33:58 +02:00
2019-09-17 09:26:10 +02:00
2019-07-18 10:18:16 +02:00
2019-08-14 20:31:46 +02:00
2019-09-21 16:31:12 +02:00
2019-07-18 10:18:16 +02:00
2019-09-21 18:58:03 +02:00
2019-07-20 22:39:24 +02:00
2019-09-21 15:46:47 +02:00
2019-10-09 21:16:49 +02:00
2019-10-09 21:16:49 +02:00
2019-09-21 18:13:17 +02:00
2019-09-22 00:31:54 +02:00
2019-09-06 15:36:54 +02:00
2019-07-20 19:32:12 +02:00
2019-11-04 20:55:46 +01:00
2019-09-07 21:39:44 +02:00
2019-08-11 18:11:25 +02:00
2019-09-21 19:28:28 +02:00
2019-09-22 00:31:54 +02:00
2019-09-04 18:53:46 +02:00
2019-09-21 16:11:02 +02:00
2019-09-22 00:31:54 +02:00
2019-10-24 09:57:27 +02:00
2019-10-24 09:57:27 +02:00
2019-09-18 14:10:09 +02:00
2019-09-21 16:03:59 +02:00
2019-10-23 19:51:09 +02:00
2019-09-22 00:31:54 +02:00
2019-10-28 19:08:48 +01:00
2019-11-01 21:31:06 +01:00
2019-11-01 21:31:06 +01:00
2019-11-08 19:51:10 +01:00
2019-11-08 19:51:10 +01:00
2019-11-03 09:57:14 +01:00
2019-11-03 09:57:14 +01:00
2019-09-21 19:28:28 +02:00
2019-09-21 16:27:54 +02:00
2019-09-07 21:45:06 +02:00
2019-09-21 16:06:43 +02:00
2019-10-29 16:36:50 +01:00
2019-10-22 21:37:11 +02:00
2019-11-08 11:40:25 +01:00
2019-10-26 12:28:54 +02:00
2019-11-08 11:40:25 +01:00
2019-10-26 12:28:54 +02:00
2019-11-08 11:40:25 +01:00
2019-11-08 11:40:25 +01:00
2019-11-03 09:26:22 +01:00
2019-11-08 11:40:25 +01:00