diff options
| author | Isaac Freund <ifreund@ifreund.xyz> | 2021-07-23 19:03:08 +0200 |
|---|---|---|
| committer | Isaac Freund <ifreund@ifreund.xyz> | 2021-07-23 19:03:08 +0200 |
| commit | b243cd7fc3bc47b0714d98ba8320640169d672bd (patch) | |
| tree | dfca9fcaa4cd802235f49ae94b270939b761be77 /.github/workflows | |
| parent | 36ce81bb67b732439208d48cae7e9c95d4a2379c (diff) | |
| download | river-b243cd7fc3bc47b0714d98ba8320640169d672bd.tar.gz river-b243cd7fc3bc47b0714d98ba8320640169d672bd.tar.xz | |
river: destroy backend before Root.deinit()
Handling output destroy now requires the wlr_output_layout to still be
around, as we need it to properly handle cursor state. In order to make
sure that all outputs are destroyed before the wlr_output_layout is,
simply destroy the backend before calling Root.deinit().
Diffstat (limited to '.github/workflows')
0 files changed, 0 insertions, 0 deletions