Re: [Padre-dev] Improve Padre unicode handling

2016-05-20 Thread Tom Browder
On Fri, May 20, 2016 at 10:57 AM, Dominique Dumont wrote: > On Friday 20 May 2016 07:48:09 Tom Browder wrote: >> > or edit padre's preference to use another font. >> >> But I don't see how to do that--help, please. > > You may be able to change fonts with Padre's preferences

Re: [Padre-dev] Improve Padre unicode handling

2016-05-20 Thread Dominique Dumont
On Friday 20 May 2016 07:48:09 Tom Browder wrote: > > or edit padre's preference to use another font. > > But I don't see how to do that--help, please. You may be able to change fonts with Padre's preferences (or settings). Unfortunately, I cannot check on my system: padre no longer runs on

Re: [Padre-dev] Improve Padre unicode handling

2016-05-20 Thread Tom Browder
On Thu, May 19, 2016 at 7:01 PM, yary wrote: > Enclosed is a UTF-8 file containing one word "nee" with an accent over > the 2nd e, it renders properly in my Windows-Padre. How does it look > in yours? Wondering if it's Padre, the OS, or the file. That renders fine. Thanks so