From: "Atte André Jensen" <[EMAIL PROTECTED]> > Jon Freeman wrote: > > > Try alt 124 (hold alt [not alt gr] key and type 124 on number pad before > > releasing alt) > > Doesn't work
OK, I've found it - its a bug. See http://bugs.sun.com/bugdatabase/view_bug.do;:YfiG?bug_id=4957565 Maybe there is a later version of Java that fixes it. Jon To subscribe/unsubscribe, point your browser to: http://www.tullochgorm.com/lists.html