That indeed works out just as well for me. Let me know if this is something I should open a JIRA ticket for - I've not done that before and not sure of the process but wouldn't mind at all.
Thanks, -Luther On Tue, Mar 3, 2009 at 1:43 PM, Thiago H. de Paula Figueiredo < [email protected]> wrote: > Em Tue, 03 Mar 2009 14:58:05 -0300, Luther Baker <[email protected]> > escreveu: > > I have implemented this and which to display a special character in the >> drop down. ∋ >> > > A better solution would be to give Select an already Unicode-encoded string > intead of relying in HTML entities. Intead of something like String label = > "∋", use label = "\u220B" (or whatever the hexadecimal code point for &ni > is). > > > -- > Thiago H. de Paula Figueiredo > Independent Java consultant, developer, and instructor > http://www.arsmachina.com.br/thiago > > --------------------------------------------------------------------- > To unsubscribe, e-mail: [email protected] > For additional commands, e-mail: [email protected] > >
