[cp-patches] FYI: Fixed JTabbedPane bug

[Roman Kennke]

The specs say that the JTabbedPane.addTab() methods must accept null
Strings for titles. However, doing this lead to an assertion failure or
segfault in font metrics calculations as reported in
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23859

This is fixed by this patch.

2005-09-14  Roman Kennke  <address@hidden>

        Fixes Bug#23859.
        * javax/swing/JTabbedPane.java
        (insertTab): Check if title == null and if so, then set it
        to "". Otherwise the null string would cause a segfault or
        an assertion failure in font metrics calculation as reported
        in bug#23859.


/Roman

JTabbedPane.diff
Description: Text Data