<html> <body> <applet code="bug4310381.class" width=150 height=150></applet> Observe that long Tab titles are clipped with dots at the end </body> </html>
