Отложенное обновление / обновление заголовка TitledBorder, почему?

У меня есть JPanel A с рамкой заголовка внутри JPanel B JTabbedPanel C. У меня есть метод обновления содержимого A и B, который время от времени вызывается.

К сожалению, все элементы A и B обновляются вовремя, но не заголовок A. Я явно должен переключить на другую панель с вкладками и вернитесь к C, чтобы заголовок A отображался правильно. Почему?

Я использую следующий код:

    TitledBorder tmp
            = (TitledBorder) this.GroupingProfilePanel.getBorder();

    // Resetting header
    if ( this.c != null ) {
        tmp.setTitle("Set - " + this.c.getName());
    } else {
        tmp.setTitle("Set");
    }
6
задан Jérôme Verstrynge 4 July 2011 в 01:37
поделиться