Stefan Haller
dc795b5db7
Remove unnecessary refresh
...
CheckMergeOrRebase calls Refresh already. However, it does an async refresh by
default, so we must turn this into a sync refresh so that moving the selection
down by one works even for the very first commit in history. Also, we must add
an explicit call to FocusLine so that the view selection is in sync with the
model selection; previously this was taken care of by the PostRefreshUpdate call
that happens as part of a refresh.
2025-07-03 17:04:10 +02:00
..
2024-06-07 23:09:52 +02:00
2024-03-11 09:19:11 +01:00
2024-03-11 09:18:40 +01:00
2025-04-20 16:06:15 +02:00
2025-04-20 16:06:15 +02:00
2025-01-30 08:53:34 +01:00
2023-05-25 23:52:19 +10:00
2024-08-18 10:24:52 +02:00
2025-03-25 09:56:01 +01:00
2025-03-25 09:56:01 +01:00
2025-02-10 13:35:01 +01:00
2023-05-23 19:49:19 +10:00
2025-03-22 11:04:28 +01:00
2025-03-22 11:04:28 +01:00
2025-03-21 08:04:58 +01:00
2025-04-10 08:53:11 +02:00
2025-02-17 19:58:31 +01:00
2025-02-17 19:58:31 +01:00
2025-02-17 19:58:31 +01:00
2025-02-17 19:58:31 +01:00
2025-03-21 08:04:58 +01:00
2025-02-19 18:50:12 +01:00
2025-02-17 18:43:39 +01:00
2025-02-19 18:50:12 +01:00
2024-03-22 08:27:45 +01:00
2024-09-15 11:19:39 +02:00
2023-07-22 14:36:35 +10:00
2025-02-17 18:43:39 +01:00
2025-03-21 08:04:58 +01:00
2025-06-30 16:08:03 +02:00
2025-03-22 11:04:28 +01:00
2024-06-10 12:00:24 +02:00
2024-06-01 08:31:18 +02:00
2024-01-10 09:11:40 +01:00
2024-01-10 09:11:40 +01:00
2024-08-18 10:24:52 +02:00
2023-05-23 19:49:19 +10:00
2023-05-23 19:49:19 +10:00
2023-05-25 23:52:19 +10:00
2025-02-19 18:50:12 +01:00
2025-02-19 18:50:12 +01:00
2025-02-07 09:28:27 +01:00
2024-06-07 23:09:52 +02:00
2023-05-25 23:52:19 +10:00
2025-04-20 16:03:06 +02:00
2025-04-20 16:06:15 +02:00
2025-04-20 16:06:15 +02:00
2025-07-03 17:04:10 +02:00
2025-03-21 08:04:58 +01:00
2024-06-23 11:43:12 +02:00
2024-06-07 23:09:52 +02:00
2023-07-22 10:47:04 +10:00
2025-04-20 16:06:15 +02:00
2024-01-19 10:47:21 +11:00
2025-03-22 11:04:28 +01:00
2025-03-21 08:04:58 +01:00
2025-03-21 08:04:58 +01:00