PatTheMav and Ryan Foster
5a16239ed6
UI: Fix crash when removing filter after changing a value
...
Deleting a filter will trigger a visibility change, which will also
trigger a focus change if the focus has not been on the list itself
(e.g. after interacting with the property view).
When an async filter list is available in the view, it will be the first
candidate to receive focus. If this list is empty, we hide the property
view by default and set the view to a `nullptr`.
When the call for the visibility change returns, we need to check for
this possibility, as another event might have hidden (and deleted) the
view already.
2022-09-21 14:32:09 -04:00
..
2022-09-21 13:49:29 -04:00
2022-09-18 02:10:38 +02:00
2022-09-10 15:36:27 -07:00
2022-04-23 16:12:45 -07:00
2022-08-21 17:26:27 +02:00
2022-09-09 23:25:31 -07:00
2022-07-30 18:50:13 +10:00
2022-09-05 22:51:15 +02:00
2022-03-16 23:11:58 +01:00
2022-07-10 14:00:35 +10:00
2022-07-10 14:00:35 +10:00
2022-07-30 18:50:13 +10:00
2022-03-13 07:05:02 -07:00
2022-03-13 07:05:02 -07:00
2021-09-12 13:45:51 +02:00
2021-09-12 13:45:51 +02:00
2021-09-16 15:03:28 +02:00
2021-09-15 06:16:29 -07:00
2022-05-19 09:31:38 -07:00
2021-07-24 15:50:59 -07:00
2022-05-19 09:31:38 -07:00
2021-07-24 15:50:59 -07:00
2022-05-19 09:31:38 -07:00
2021-12-11 14:39:19 -08:00
2022-07-31 21:47:01 -07:00
2022-07-31 21:47:01 -07:00
2022-08-22 17:26:50 -07:00
2022-07-23 17:41:34 -07:00
2022-07-23 17:41:34 -07:00
2022-08-22 17:26:50 -07:00
2022-08-22 17:26:50 -07:00
2021-08-20 15:20:59 -07:00
2022-09-17 16:10:30 -07:00
2022-09-17 16:10:30 -07:00
2022-08-06 10:22:25 +10:00
2022-06-27 14:35:01 -04:00
2020-08-17 07:18:18 -07:00
2020-08-17 07:18:18 -07:00
2022-08-22 17:26:50 -07:00
2022-04-10 11:52:11 +10:00
2022-02-20 00:30:37 -08:00
2022-02-20 00:30:37 -08:00
2022-07-22 09:37:17 -04:00
2022-06-11 16:28:57 -07:00
2022-07-22 09:37:17 -04:00
2022-07-10 13:45:43 +10:00
2022-07-10 13:45:43 +10:00
2022-09-11 10:58:58 +10:00
2022-08-16 07:36:18 -07:00
2022-07-31 21:47:01 -07:00
2022-04-02 16:04:51 -07:00
2022-03-16 23:11:58 +01:00
2022-08-22 17:26:50 -07:00
2022-08-22 17:26:50 -07:00
2022-07-31 18:14:41 +02:00
2022-07-10 14:06:15 +10:00
2022-05-20 20:16:56 +10:00
2022-07-31 18:14:41 +02:00
2022-08-30 13:26:37 -04:00
2022-08-17 05:30:57 -07:00
2022-07-30 16:21:36 -07:00
2022-05-28 16:54:37 -07:00
2022-07-22 09:37:17 -04:00
2022-07-10 14:00:35 +10:00
2022-07-31 15:39:18 -07:00
2022-07-31 15:39:18 -07:00
2022-08-13 16:46:48 -07:00
2021-09-15 07:44:55 +02:00
2022-09-10 16:32:46 -07:00
2022-08-29 23:15:39 +10:00
2022-07-30 16:33:57 -07:00
2020-12-01 10:54:21 -05:00
2022-01-04 01:54:38 -08:00
2020-11-25 19:38:05 -08:00
2020-06-21 18:23:05 -07:00
2022-09-17 16:27:25 -07:00
2022-08-30 18:49:23 +10:00
2022-07-28 20:38:51 -07:00
2022-01-19 21:39:43 +01:00
2022-01-19 21:39:43 +01:00
2020-08-17 07:18:18 -07:00
2020-08-17 07:18:18 -07:00
2022-08-02 09:27:00 -03:00
2022-05-31 09:53:14 -04:00
2022-08-13 01:10:38 -07:00
2022-07-27 21:37:30 -04:00
2022-03-16 23:11:58 +01:00
2022-06-18 23:13:13 +10:00
2022-06-18 23:13:13 +10:00
2022-07-18 14:52:26 -07:00
2022-07-21 15:29:25 -07:00
2022-07-18 14:52:26 -07:00
2022-09-21 14:32:09 -04:00
2022-02-26 01:09:07 -08:00
2022-07-22 09:37:17 -04:00
2022-02-26 01:09:07 -08:00
2022-05-08 15:25:43 -07:00
2022-07-23 17:41:34 -07:00
2022-08-30 22:41:29 -04:00
2022-04-10 16:49:37 -07:00
2022-09-20 20:32:33 -04:00
2022-07-02 14:02:40 +10:00
2022-07-30 16:33:57 -07:00
2022-08-09 21:37:48 -07:00
2022-09-10 16:18:55 -07:00
2022-09-03 05:09:59 +02:00
2022-08-18 02:35:34 -07:00
2022-07-30 19:41:18 -07:00
2022-04-23 16:12:45 -07:00
2022-04-10 11:52:11 +10:00
2022-07-27 21:37:30 -04:00
2022-07-26 09:23:35 -07:00
2022-08-31 11:05:24 -07:00
2022-07-31 21:45:51 -07:00
2022-04-02 16:02:41 -07:00
2021-11-10 14:22:45 -08:00
2021-11-26 23:23:51 +13:00
2022-07-19 11:01:00 -04:00
2021-12-16 23:38:59 -08:00
2021-11-10 06:08:48 -08:00
2022-08-18 02:35:13 -07:00
2022-08-18 02:35:13 -07:00
2021-01-26 09:43:16 -08:00
2022-08-20 16:46:02 -07:00
2022-03-22 22:24:23 -07:00
2021-04-20 00:17:34 -07:00
2022-07-02 14:02:40 +10:00
2021-01-17 10:31:59 +13:00
2021-10-03 07:52:44 -07:00
2020-10-29 14:15:57 -07:00
2022-07-31 18:14:41 +02:00
2022-07-31 18:14:41 +02:00
2022-09-17 16:19:24 -07:00
2022-07-10 13:45:43 +10:00
2022-04-07 01:52:02 -07:00
2022-06-27 14:35:01 -04:00
2022-06-01 19:43:03 -04:00
2022-06-27 14:35:01 -04:00
2022-06-27 14:35:01 -04:00