Antonio Scandurra
e507eadb4b
Rely on root getting re-focused when panel isn't rendered
...
This achieves two things:
- When a panel like `TerminalPanel` closes its last tab, the focus
is returned to the root view (the `Workspace`)
- When a panel is moved from a dock to another, it will get rendered
in another spot but the focus will be kept on the panel
This also ensures the focus is not lost when a panel is moved from
a dock to another because that view
2023-05-10 15:43:44 +02:00
..
2023-05-01 14:24:00 +02:00
2023-04-24 17:41:55 -07:00
2023-05-04 12:12:36 -04:00
2023-05-01 16:27:36 +02:00
2023-04-24 17:41:55 -07:00
2023-04-24 17:41:55 -07:00
2023-05-04 12:12:36 -04:00
2023-04-24 17:41:55 -07:00
2023-05-10 15:23:37 +02:00
2023-05-08 14:33:59 -07:00
2023-03-28 20:13:17 -07:00
2023-05-04 09:53:31 +02:00
2023-05-10 09:18:13 +02:00
2023-05-09 16:31:53 -06:00
2023-05-09 10:18:11 +02:00
2023-04-24 17:41:55 -07:00
2023-05-03 16:36:14 +02:00
2023-05-08 11:42:00 -04:00
2023-05-09 16:41:10 -06:00
2023-05-09 10:18:11 +02:00
2023-04-24 17:41:55 -07:00
2023-05-08 14:33:59 -07:00
2023-04-24 17:41:55 -07:00
2023-02-27 12:06:10 -08:00
2023-04-24 17:41:55 -07:00
2023-04-24 17:41:55 -07:00
2023-05-10 15:40:46 +02:00
2023-05-02 19:38:48 +02:00
2023-04-24 17:41:55 -07:00
2023-04-26 13:36:13 +02:00
2023-05-08 19:36:51 +03:00
2023-05-01 16:27:36 +02:00
2023-04-24 17:41:55 -07:00
2023-04-24 17:41:55 -07:00
2023-04-24 17:41:55 -07:00
2023-04-24 17:41:55 -07:00
2023-04-24 17:41:55 -07:00
2023-04-27 14:29:11 +02:00
2023-04-28 16:42:36 -04:00
2023-05-01 16:27:36 +02:00
2023-05-04 12:04:30 +02:00
2023-04-24 17:41:55 -07:00
2023-04-24 17:41:55 -07:00
2023-04-24 17:41:55 -07:00
2023-05-10 11:11:31 +03:00
2023-05-10 14:05:48 +02:00
2023-05-03 16:36:14 +02:00
2023-05-01 16:27:36 +02:00
2023-04-24 17:41:55 -07:00
2023-05-10 11:11:31 +03:00
2023-05-10 11:11:31 +03:00
2023-05-10 14:05:48 +02:00
2023-04-24 17:41:55 -07:00
2023-04-24 17:41:55 -07:00
2023-04-24 17:41:55 -07:00
2023-04-24 17:41:55 -07:00
2023-05-08 14:33:58 -07:00
2023-04-24 17:41:55 -07:00
2023-05-10 14:05:48 +02:00
2023-05-04 12:32:31 -04:00
2023-05-10 15:23:37 +02:00
2023-05-01 16:27:36 +02:00
2023-04-24 17:41:55 -07:00
2023-05-04 12:12:36 -04:00
2023-05-04 16:18:01 +02:00
2023-05-09 10:18:10 +02:00
2023-05-10 15:43:44 +02:00
2023-05-09 13:28:34 -06:00