> > And the following may be be helpful: > > https://docs.python.org/2/library/codecs.html#module-encodings.utf_8_sig > <https://www.google.com/url?q=https%3A%2F%2Fdocs.python.org%2F2%2Flibrary%2Fcodecs.html%23module-encodings.utf_8_sig&sa=D&sntz=1&usg=AFQjCNGQgcBRJ8vLWQ-ZrnmR0BoKA5Aw7Q> >
Thank you so much Edward, that was very helpful indeed, it finally works, with this encoding: @encoding UTF_8_SIG For future reference, this encoding is needed when using AHK (Autohotkey / Auto hotkey). The files it supports need this kind of encoding. Thanks again and happy holidays! -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To unsubscribe from this group and stop receiving emails from it, send an email to leo-editor+unsubscr...@googlegroups.com. To post to this group, send email to leo-editor@googlegroups.com. Visit this group at http://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/d/optout.