@@ -833,6 +833,8 @@ set_properties_now(WindowProperties &properties) {
////////////////////////////////////////////////////////////////////
void GraphicsWindow::
close_window() {
+ display_cat.info()
+ << "Closing " << get_type() << "\n";
}
@@ -357,6 +357,7 @@ close_window() {
// application, so the server hears the close request.
XFlush(_display);
+ GraphicsWindow::close_window();
@@ -184,6 +184,8 @@ close_window() {
// revert to default display mode.
ChangeDisplaySettings(NULL, 0x0);
+