Hello Simon,
Thursday, February 19, 2009, 3:21:03 PM, you wrote:
Correct - I'm aware that there's a problem with filenames, but it hasn't
been tackled yet. There probably isn't anything sensible that we can do
without changing FilePath into an ADT.
i think that FilePath=String is ok, we
Hello Khudyakov,
Thursday, February 19, 2009, 4:06:06 PM, you wrote:
i think that FilePath=String is ok, we just need to use utf8 string
encoding on unix/macs and utf-16 encoding with *W functions on
Windows. i have implemented such support inside my own application, and
would be happy to