--- terminal-screen.h.old 2007-02-02 17:28:09.000000000 +0300 +++ terminal-screen.h 2007-02-02 17:27:33.000000000 +0300 @@ -85,6 +85,9 @@ GList *terminal_screen_get_restart_command (TerminalScreen *screen); +void terminal_screen_set_encoding (TerminalScreen *screen, + const char *encoding); + G_END_DECLS; #endif /* !__TERMINAL_SCREEN_H__ */