mirror of
https://github.com/mozilla/gecko-dev.git
synced 2025-01-31 11:01:40 +00:00
57202dd322
Communicate GTK_DELETE event so that higher levels can deal with the window closure.