gui: Always convert file names to UTF-8 for use in syntax.
[pspp] / src / ui / terminal / terminal-reader.c
2011-03-20 Ben Pfafflexer: Reimplement for better testability and internati...