X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fpsppire-window.c;fp=src%2Fui%2Fgui%2Fpsppire-window.c;h=8b2e3d5dfd7ef231e27b79f13c2229f591055e52;hb=bcbd6d906bd2e5f6ae72c5bdaa6900735f51c4e3;hp=fa3b250fa50fa3d2e1e4306ce6c1448a70f90536;hpb=ccaf88efae9f6f4d93d7812834c412e8fd511bb2;p=pspp diff --git a/src/ui/gui/psppire-window.c b/src/ui/gui/psppire-window.c index fa3b250fa5..8b2e3d5dfd 100644 --- a/src/ui/gui/psppire-window.c +++ b/src/ui/gui/psppire-window.c @@ -99,7 +99,7 @@ psppire_window_set_title (PsppireWindow *window) if (window->basename) g_string_append_printf (title, "%s ", window->basename); - if (window->id != '\0') + if (window->id) g_string_append_printf (title, "[%s] ", window->id); g_string_append_unichar (title, 0x2014); /* em dash */