Timothy Flynn 2eb2207f50
LibGUI: Convert mouse events from a visual to a physical position ...
When clicking a position within a TextEditor, we should interpret that
position as a visual location. That location should be converted to a
"physical" location before using it to set the physical cursor position.
For example, consider a document with 2 emoji, each consisting of 3 code
points. Visually, these will occupy 2 columns. When a mouse click occurs
between these columns, we need to convert the visual column number 1 to
the physical column number 3 when storing the new cursor location.
2023-02-22 10:14:36 +01:00
2023-02-13 00:50:07 +00:00
2023-02-13 00:50:07 +00:00
2023-02-19 00:37:37 +01:00
2023-02-21 00:54:04 +01:00
2023-02-13 00:50:07 +00:00
2023-02-21 00:54:04 +01:00
2023-02-13 00:50:07 +00:00
2023-02-13 00:50:07 +00:00
2023-02-20 18:46:51 +01:00
2023-02-13 00:50:07 +00:00
2023-02-21 00:54:04 +01:00
2023-02-13 00:50:07 +00:00
2023-02-13 00:50:07 +00:00
2023-02-13 00:50:07 +00:00
2023-02-19 13:49:07 +01:00
2023-02-13 00:50:07 +00:00
2023-02-15 12:58:25 +01:00
2023-02-10 09:14:20 +00:00
2023-02-15 22:53:19 +01:00
2023-02-16 20:11:52 +01:00
2023-02-13 00:50:07 +00:00
2023-02-22 10:14:36 +01:00
2023-02-21 00:54:04 +01:00
2023-02-12 22:54:28 +01:00
2023-01-30 13:49:52 -05:00
2023-02-22 10:14:36 +01:00
2023-02-13 00:50:07 +00:00
2023-02-21 00:54:04 +01:00
2023-02-21 00:54:04 +01:00
2023-02-13 00:50:07 +00:00
2023-02-13 00:50:07 +00:00
2023-02-21 22:46:18 +01:00
2023-02-13 00:50:07 +00:00
2023-02-13 00:50:07 +00:00
2023-02-08 19:15:45 +00:00
2023-02-21 00:54:04 +01:00
2023-01-27 20:38:49 +00:00
2023-02-21 00:54:04 +01:00
2023-02-21 00:54:04 +01:00
2023-02-13 00:50:07 +00:00
2023-02-17 16:32:02 +00:00
2023-02-18 01:45:00 +01:00
2023-02-21 00:54:04 +01:00
2023-02-19 13:47:11 +01:00
2023-02-21 00:54:04 +01:00
2023-02-19 17:15:47 +01:00
2023-02-08 19:15:45 +00:00
2023-02-13 00:50:07 +00:00
2023-02-16 11:18:53 +01:00
2023-02-13 00:22:23 +00:00
2023-02-13 00:50:07 +00:00
2023-02-08 19:15:45 +00:00
2023-02-13 00:50:07 +00:00
2023-02-22 09:55:33 +01:00
2023-02-13 00:50:07 +00:00
2023-02-19 15:58:20 +01:00
2023-02-04 18:47:02 -07:00
2eb2207f50