Jonas Jenwald
8bd45cb260
[Editor] Change the resize cursors to bidirectional variants
...
When resizing an editor we're currently using unidirectional cursors, please refer to https://developer.mozilla.org/en-US/docs/Web/CSS/cursor
Given that editors can (generally) be resized to become either smaller or larger, it seems overall more appropriate to use bidirectional cursors to make this clearer to the user.
Note that as mentioned in the MDN article some environments, which seems to apply to e.g. Windows 11, doesn't differentiate between the two cursor formats and simply use bidirectional ones unconditionally.
One additional benefit of these changes is that the relevant CSS rules become slightly more compact.
2023-08-06 22:09:15 +02:00
..
2023-07-10 21:18:05 +02:00
2015-01-26 16:44:45 +01:00
2023-08-06 22:09:15 +02:00
2023-06-05 14:05:52 +02:00
2023-04-03 09:05:07 +02:00
2023-07-20 10:53:23 +02:00
2023-06-20 20:28:35 +02:00
2023-07-29 13:58:03 +02:00
2023-08-01 09:02:05 +02:00
2022-06-13 10:47:37 +02:00
2015-08-14 18:59:55 +02:00
2023-07-02 15:28:33 +02:00
2011-07-05 10:53:57 -07:00
2023-04-19 20:47:57 +02:00
2023-07-25 15:08:02 +02:00
2023-05-05 15:52:15 +02:00
2023-04-23 15:41:02 +02:00
2023-04-14 10:02:28 +02:00
2023-08-01 15:15:04 +02:00
2023-06-22 08:09:58 +02:00
2022-12-03 12:52:36 +01:00
2023-06-26 09:37:34 +02:00
2023-06-29 13:16:10 +02:00
2023-05-26 15:30:22 +02:00
2023-06-21 21:42:53 +02:00
2023-06-21 13:13:53 +02:00
2023-07-30 08:46:11 +02:00
2023-05-21 09:54:24 +02:00
2023-06-28 12:43:36 +02:00
2023-04-29 13:43:24 +02:00
2023-05-11 12:04:14 +02:00
2023-07-21 20:10:44 +02:00
2023-04-17 14:31:23 +02:00
2022-04-05 14:13:20 +02:00
2022-09-01 17:34:24 +02:00
2023-07-21 20:10:44 +02:00
2023-06-12 11:46:11 +02:00
2023-07-29 13:58:03 +02:00
2023-07-11 22:34:20 +02:00
2023-07-28 14:10:40 +02:00
2023-05-30 21:24:19 +02:00
2023-07-16 08:51:46 +02:00
2023-07-30 12:38:46 +02:00
2023-05-28 17:54:34 +02:00
2022-09-08 12:38:17 +02:00
2023-05-26 15:30:22 +02:00
2023-06-30 18:37:16 +02:00
2023-07-16 08:51:46 +02:00
2023-08-03 14:47:16 +02:00
2023-08-03 14:47:16 +02:00
2023-07-16 08:51:46 +02:00
2023-07-21 20:10:44 +02:00
2022-06-12 13:07:03 +02:00
2023-05-11 12:04:14 +02:00
2023-02-07 15:33:01 +01:00
2023-05-24 12:31:27 +02:00
2022-08-14 11:38:17 +02:00
2023-04-17 14:31:23 +02:00
2023-04-20 14:14:33 +02:00
2023-04-25 11:07:05 +02:00
2023-05-22 16:43:09 +02:00
2023-07-06 11:27:50 +02:00
2023-05-11 12:04:14 +02:00
2020-03-21 13:55:06 +01:00
2023-07-30 17:23:21 +02:00
2023-07-28 14:10:40 +02:00
2023-07-28 14:10:40 +02:00
2017-05-31 09:22:25 -05:00
2022-03-28 11:36:29 +02:00
2023-03-14 10:12:42 +01:00
2016-02-14 13:23:34 +01:00
2017-05-31 09:22:25 -05:00
2023-07-26 16:49:55 +02:00
2023-07-17 19:47:13 +02:00
2023-07-06 11:27:50 +02:00
2023-04-17 23:32:04 +02:00
2022-12-11 13:08:23 +01:00