<div><br></div><div><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Sat, 6 Aug 2022 at 21:21 Juan Vuletich <<a href="mailto:juan@cuis.st">juan@cuis.st</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-style:solid;padding-left:1ex;border-left-color:rgb(204,204,204)"><u></u>

  
    
    
  
  <div bgcolor="#ffffff" text="#000000" dir="auto"><br>BTW, you're using World / Preferences / Use Unicode
    text, right?<br>
    </div></blockquote><div dir="auto"><br></div><div dir="auto">Yes.. actually I’m using something equivalent, I have a comment in my tiling window manager package with some doIts for setting up fonts, preferences and unicode text.</div><div dir="auto"><br></div><div dir="auto"><br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-style:solid;padding-left:1ex;border-left-color:rgb(204,204,204)"><div bgcolor="#ffffff" text="#000000" dir="auto">BTW, this also makes me thing that the extended-ascii Characters are
    no longer needed, and they add unneeded complexity. When we move
    Cuis to use UTF-8 by default, we could make String and Character be
    only pure ascii (using just 7 bits). This will make conversions
    easier and faster. In a couple of months, I guess.<br>
    </div></blockquote><div dir="auto"><br></div><div dir="auto">Great. Yes, I don’t need the extended ASCII characters any more.</div><div dir="auto"><br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-style:solid;padding-left:1ex;border-left-color:rgb(204,204,204)"><div bgcolor="#ffffff" text="#000000" dir="auto">Oh, one detail to keep in mind: Given that by default Cuis still
    uses the 8 bit encoding in code files, any changes to
    #namedCharactersTable or similar can not be added to the update
    stream and the base image yet. A good reason to migrate everything
    to UTF-8.</div></blockquote><div dir="auto"><br></div><div dir="auto">Oh, right, good point. For now I’ll overwrite that method in one of my packages.</div><div dir="auto"><br></div><div dir="auto">Thanks!</div><div dir="auto">Luciano</div></div></div>