- /* debug_print("Focused window: %p\n", focus_window); */
- /* debug_print("Focus out event: window: %p\n", widget); */
+ const gchar *title = NULL;
+
+ if (!GTK_IS_WINDOW(widget))
+ return FALSE;
+
+ title = gtk_window_get_title(GTK_WINDOW(widget));
+ debug_print("Focus out event: window: %p - %s\n", widget,
+ title ? title : "no title");