Linus Groh
9ef834384d
LibGUI: Use set_cursor() in TextEditor::set_document()
...
Instead of setting m_cursor directly to reset the cursor position,
TextEditor::set_document() now uses set_cursor() which will call cursor
change callback functions, if any.
This fixes a bug in HackStudio where the cursor information text would
not update immediately after changing the active TextDocument, even
though the cursor is always visibly being reset to 0, 0.
2020-08-05 17:27:14 +02:00
..
2020-07-23 17:31:08 +02:00
2020-07-26 17:51:00 +02:00
2020-07-15 13:19:44 +02:00
2020-07-15 13:19:44 +02:00
2020-07-26 17:51:00 +02:00
2020-07-26 17:51:00 +02:00
2020-08-01 08:39:26 +02:00
2020-07-20 21:03:48 +02:00
2020-07-20 21:03:48 +02:00
2020-07-20 21:03:48 +02:00
2020-07-20 21:03:48 +02:00
2020-08-03 15:54:33 +02:00
2020-07-27 12:11:19 +02:00
2020-07-27 12:11:19 +02:00
2020-08-03 19:06:41 +02:00
2020-08-03 19:06:41 +02:00
2020-07-23 17:31:08 +02:00
2020-07-23 17:31:08 +02:00
2020-07-19 21:37:19 +02:00
2020-07-19 21:37:19 +02:00
2020-08-01 08:39:26 +02:00
2020-08-01 08:39:26 +02:00
2020-07-24 01:03:24 +02:00
2020-07-14 17:55:39 +02:00
2020-07-13 19:49:34 +02:00
2020-07-13 19:49:34 +02:00
2020-07-23 17:43:44 +02:00
2020-07-23 17:31:08 +02:00
2020-07-18 16:27:57 +02:00
2020-07-16 16:10:21 +02:00
2020-07-15 13:19:44 +02:00
2020-07-15 13:19:44 +02:00
2020-07-28 16:29:44 +02:00
2020-07-28 16:29:44 +02:00
2020-07-23 17:31:08 +02:00
2020-07-16 16:10:21 +02:00
2020-07-13 19:49:34 +02:00
2020-08-01 08:39:26 +02:00
2020-07-13 19:49:34 +02:00
2020-07-13 19:49:34 +02:00
2020-07-13 19:49:34 +02:00
2020-07-13 19:49:34 +02:00
2020-07-28 16:29:36 +02:00
2020-07-28 16:29:36 +02:00
2020-07-26 17:51:00 +02:00
2020-07-26 17:51:00 +02:00
2020-07-28 16:29:36 +02:00
2020-07-28 16:29:36 +02:00
2020-08-03 18:16:49 +02:00
2020-07-18 16:27:57 +02:00
2020-07-15 13:41:46 +02:00
2020-07-13 19:49:34 +02:00
2020-07-20 21:03:48 +02:00
2020-07-20 21:03:48 +02:00
2020-07-26 17:51:00 +02:00
2020-07-26 17:51:00 +02:00
2020-08-03 19:06:41 +02:00
2020-08-03 19:06:41 +02:00
2020-08-05 17:27:14 +02:00
2020-08-01 08:39:26 +02:00
2020-07-22 17:48:11 +02:00
2020-07-26 17:51:00 +02:00
2020-07-26 17:51:00 +02:00
2020-08-01 08:06:48 +02:00
2020-08-01 08:06:48 +02:00
2020-07-16 16:10:21 +02:00
2020-07-15 17:15:45 +02:00