Of course you can do that with JS (though I don't know what the
property is called off the top of my head). A Brush only exists for
the length of time that you are rendering, so it's not going to help
you get the selected text after that point. You'd have to create
appropriate JS and attach it to some callback (if you want to get the
selection) or event handler (if you just want to set it).
Julian
On Fri, Sep 3, 2010 at 12:19 PM, AxiNat <
[hidden email]> wrote:
_______________________________________________
seaside mailing list
[hidden email]
http://lists.squeakfoundation.org/cgi-bin/mailman/listinfo/seaside
Locked
