GtkWidget *se = psppire_syntax_window_new ();
if ( psppire_syntax_window_load_from_file (PSPPIRE_SYNTAX_WINDOW (se), file_name, NULL) )
GtkWidget *se = psppire_syntax_window_new ();
if ( psppire_syntax_window_load_from_file (PSPPIRE_SYNTAX_WINDOW (se), file_name, NULL) )