Stefan Haller
e72c759541
Make range selections created with the mouse non-sticky
...
I prefer this because I almost never use sticky range selections. Also, this
fixes the issue that just clicking a line in a diff (without dragging) already
creates a range selection. It still does, technically, but it's no longer a
problem because a non-sticky one-line range selection behaves the same as a
non-range selection.
2024-01-24 08:22:55 +01:00
..
2024-01-23 17:23:56 +11:00
2023-04-30 13:19:52 +10:00
2023-04-30 13:19:52 +10:00
2024-01-23 13:03:37 +11:00
2024-01-23 13:03:37 +11:00
2024-01-23 13:03:37 +11:00
2024-01-19 10:50:49 +11:00
2024-01-19 10:50:49 +11:00
2024-01-19 10:50:49 +11:00
2024-01-23 13:03:37 +11:00
2023-04-30 13:19:53 +10:00
2024-01-19 10:50:49 +11:00
2024-01-19 10:50:49 +11:00
2023-07-30 18:51:23 +10:00
2024-01-19 10:50:49 +11:00
2023-06-28 18:54:21 +06:00
2024-01-23 13:03:37 +11:00
2024-01-23 13:03:37 +11:00
2023-07-03 12:54:13 +10:00
2024-01-19 10:47:21 +11:00
2024-01-23 13:03:37 +11:00
2024-01-19 10:50:49 +11:00
2024-01-19 10:50:49 +11:00
2024-01-23 13:03:37 +11:00
2024-01-19 10:50:49 +11:00
2024-01-23 17:23:56 +11:00
2024-01-23 13:03:37 +11:00
2024-01-19 10:50:49 +11:00
2024-01-15 20:08:11 +11:00
2024-01-19 10:50:49 +11:00
2024-01-24 08:22:55 +01:00
2024-01-19 10:47:21 +11:00
2024-01-23 13:03:37 +11:00
2024-01-23 13:03:37 +11:00
2024-01-23 13:03:37 +11:00
2023-10-16 09:03:07 +02:00
2023-08-21 08:10:28 +02:00
2023-08-21 09:03:45 +02:00
2023-07-03 12:54:13 +10:00
2024-01-19 10:50:49 +11:00
2024-01-19 10:50:49 +11:00
2024-01-19 10:50:49 +11:00
2024-01-19 10:50:49 +11:00
2024-01-23 13:03:37 +11:00
2024-01-19 10:50:49 +11:00
2024-01-23 13:03:37 +11:00
2024-01-23 13:03:37 +11:00
2024-01-23 13:03:37 +11:00
2024-01-23 13:03:37 +11:00
2024-01-23 13:03:37 +11:00
2024-01-14 17:45:35 +01:00
2024-01-23 13:03:37 +11:00
2023-09-04 17:50:49 +02:00
2022-04-02 17:04:42 +11:00
2024-01-19 10:50:49 +11:00
2023-04-30 13:19:53 +10:00
2023-08-08 22:01:43 +10:00
2024-01-23 13:03:37 +11:00
2024-01-23 13:03:37 +11:00