it appears that (based on code posted)
he does not change the contents of the highlight set.
> you just have to
>
> COPY SET ("$userset";"$userset")
>
> on whatever the name of your highlight set.
>
>> 2017/09/04 12:01、Sannyasin Siddhanathaswami via 4D_Tech
>> <[email protected]> のメール:
>> I can understand if changing the selection causes the highlight to
>> be lost, but then, how do I set the highlight again?
>
>
>
>
> **********************************************************************
> 4D Internet Users Group (4D iNUG)
> FAQ: http://lists.4d.com/faqnug.html
> Archive: http://lists.4d.com/archives.html
> Options: http://lists.4d.com/mailman/options/4d_tech
> Unsub: mailto:[email protected]
> **********************************************************************
------------
Hell is other people
Jean-Paul Sartre
**********************************************************************
4D Internet Users Group (4D iNUG)
FAQ: http://lists.4d.com/faqnug.html
Archive: http://lists.4d.com/archives.html
Options: http://lists.4d.com/mailman/options/4d_tech
Unsub: mailto:[email protected]
**********************************************************************