Close modals when focus leaves

This is more similar to zed1's behaviour, and allows us to work around
the difficulty in defining `on_mouse_down_out` for modals that have
overlays.
62232060e6Conrad Irwin committed on 1/16/2024, 2:20:35 AMparentb565c44
1 file changedLine totals unavailable