In Xpress Workbench, Korean input for comments is not working properly, and there is no compatibility with IVE Korean input. How can I use Korean in Workbench?

Workbench uses UTF-8 character encoding where IVE picks up the system encoding configured in the machine you are running it on. To display the system encoding, I suggest that you type at the command line:

xprnls info

The relevant line in the resulting display is what gets displayed for 'System' under the heading 'Default encodings' (I assume this might be 'CP949' for Korean).

You can transform a file 'filename.mos' from IVE (assuming CP949) to Workbench (UTF-8) encoding by applying the 'convert' command of the xprnls tool (where -f means 'from encoding', -t means 'to encoding' and, -o serves to specify the out put file name, see XPRNLS Command line tool (fico.com))

xprnls conv -f CP949 -t UTF8 -o newfilename.mos filename.mos

This transformation can be applied either way. Unfortunately it is not possible to make text file contents display correctly at the same time in IVE and Workbench without such an encoding transformation.

Note that Mosel (since its version 4) expects by default UTF-8 character encoding, but it can work with other encodings, where the actual encoding used in a file can be indicated by adding an 'encoding' annotation at the beginning of the file, however, this will not have any impact on the display you are seeing through the IVE or Workbench editors. Please see this discussion in The Mosel Language (fico.com) Reference manual and the Introduction (fico.com) to the Mosel Natural Language Support Manual for further detail on this topic.