我正在使用一个JideTabbedPane
. 延伸JTabbedPane
。用户编辑选项卡的名称后,我想检查名称是否符合某些条件,例如名称不能是空字符串。如果不符合条件,则应使用选项卡的旧名称。
我用 aTabEditingListener
试图完成这个任务,但是没有用。这是我写的:
addTabEditingListener(new TabEditingListener() {
public void editingStopped(TabEditingEvent event) {
if (event.getNewTitle().isEmpty()) {
setTitleAt(event.getTabIndex(), event.getOldTitle());
}
}
}
任何想法将不胜感激。