Ah, yes. I see that I just happened to luck out, as the file.encoding property on my device must be (currently!) set to "utf-8".
Thanks. This begs another, related question: how do I know what encoding to use, in the first place ... for a TextView in the Android environment? If I cannot count on the file.encoding property to always be set correctly when using a TextView in Android, where do I query for the correct encoding value? -- You received this message because you are subscribed to the Google Groups "Android Developers" group. To post to this group, send email to [email protected] To unsubscribe from this group, send email to [email protected] For more options, visit this group at http://groups.google.com/group/android-developers?hl=en

