--- In [email protected], "Sheri" <sheri...@...> 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.
Unless I'm asleep or in some other fuzzy state, which is possible, I think that
would require more work from Bruce. Otherwise you're just concatenating two
handles, which ain;t gonna do anyone any good.
