Stefan Haller
efd4298b5e
Avoid scrolling the selection into view on refresh
...
It is possible to scroll the selection out of view using the mouse wheel; after
doing this, it would sometimes scroll into view by itself again, for example
when a background fetch occurred. In the files panel this would even happen
every 10s with every regular files refresh.
Fix this by adding a scrollIntoView parameter to HandleFocus, which is false by
default, and is only set to true from controllers that change the selection.
2025-12-23 15:34:38 +01:00
..
2025-12-23 15:34:38 +01:00
2025-04-21 18:03:24 +02:00
2025-04-21 18:03:24 +02:00
2025-06-04 20:43:01 +02:00
2025-07-02 16:09:42 +02:00
2025-12-23 15:08:08 +01:00
2024-09-06 08:45:48 +02:00
2025-07-11 11:18:28 +02:00
2025-07-11 11:18:28 +02:00
2025-08-01 10:35:17 +02:00
2023-04-30 13:19:53 +10:00
2025-09-05 10:42:03 +02:00
2025-07-09 13:15:03 +02:00
2025-10-16 12:00:31 +02:00
2025-11-15 15:38:24 +01:00
2025-12-22 09:49:04 +01:00
2023-07-03 12:54:13 +10:00
2025-11-15 15:38:24 +01:00
2025-03-03 21:24:49 +01:00
2025-10-14 12:17:13 +02:00
2025-04-08 16:08:25 +02:00
2025-06-30 18:30:11 +02:00
2025-12-23 15:34:38 +01:00
2024-03-09 07:55:22 +01:00
2025-12-23 15:34:38 +01:00
2025-08-14 17:59:38 +02:00
2025-09-05 10:42:04 +02:00
2025-10-09 08:45:58 +02:00
2025-12-22 09:37:06 +01:00
2025-08-14 17:59:38 +02:00
2025-04-29 11:33:47 +02:00
2025-08-01 10:35:16 +02:00
2025-09-05 10:42:04 +02:00
2025-08-14 17:59:38 +02:00
2025-07-27 12:05:41 +02:00
2025-07-09 13:16:42 +02:00
2025-11-16 17:26:00 +01:00
2025-12-23 15:08:08 +01:00
2025-07-09 13:15:03 +02:00
2025-01-11 14:25:48 +11:00
2023-08-21 08:10:28 +02:00
2024-04-07 23:24:10 +08:00
2023-07-03 12:54:13 +10:00
2025-09-05 10:42:04 +02:00
2025-11-15 15:38:24 +01:00
2025-04-08 16:08:25 +02:00
2025-04-08 16:08:25 +02:00
2025-08-14 17:59:38 +02:00
2025-12-23 15:34:38 +01:00
2025-10-10 12:49:42 +02:00
2025-07-02 16:10:04 +02:00
2025-07-02 16:09:42 +02:00
2025-09-05 10:42:04 +02:00
2025-10-09 09:58:15 +02:00
2025-07-27 12:25:16 +02:00
2025-07-31 15:21:34 +02:00
2025-07-02 16:09:42 +02:00
2025-11-16 21:23:40 +01:00
2025-07-09 13:15:03 +02:00
2025-10-16 12:00:31 +02:00
2025-04-21 18:03:18 +02:00
2025-04-21 18:03:19 +02:00
2025-10-16 12:00:31 +02:00
2025-03-03 21:24:49 +01:00
2025-09-05 10:42:04 +02:00