(Otherwise they stay open when you hover over the editor, which stops mouse move events propagating)
Conrad Irwin committed on 12/2/2023, 6:51:06 AMparent1da18eb
1 file changedLine totals unavailable
(Otherwise they stay open when you hover over the editor, which stops mouse move events propagating)