--- In [email protected], "entropyreduction" <alancampbelllists+ya...@...> wrote: > > --- In [email protected], "Sheri" <sherip99@> wrote: > > > > > > Also the doc mentions set_char (singular) but only set_chars > > > > (plural) seems to be a valid service. But set_chars doesn't work > > > > if type instead of end position is used. > > > > > I think set_char, set_chars both work now. > > > > Not for me, I get: > > > > Cannot locate plugin service unicode.set_char > > Hmm. Okay, will check again. > > > > > > > > win.debug("unicode version:",unicode.version) ;; currently nothing > > > > > > ;Still broken. > > > > yes, need a version number > > Somehow have corrupt resource file, may have to recreate. > > > Removing empty would be fine, I tried unicode.repeat and that worked for > > the purpose I had. > > Will remove. > > > It would be nice to be able to append using some form of the numeric value. > > Eg: > > > > local > > ustring=unicode.char(0x00BC)++unicode.char(0x0020)++unicode.char(0x2153)..etc... > > > or possibly: > > > ustring=unicode.char(0x00BC)++"\x20"++unicode.char(0x2153)..etc.. > > I can't do that without getting access to the ++ operator.
I agree and its not something I want to pursue for now.
