本文整理汇总了Java中javax.swing.JTabbedPane.repaint方法的典型用法代码示例。如果您正苦于以下问题：Java JTabbedPane.repaint方法的具体用法？Java JTabbedPane.repaint怎么用？Java JTabbedPane.repaint使用的例子？那么恭喜您, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类javax.swing.JTabbedPane的用法示例。
在下文中一共展示了JTabbedPane.repaint方法的1个代码示例，这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞，您的评价将有助于系统推荐出更棒的Java代码示例。
示例1: stateChanged
import javax.swing.JTabbedPane; //导入方法依赖的package包/类
@Override
public void stateChanged(ChangeEvent e) {
JTabbedPane sourceTabbedPane = (JTabbedPane) e.getSource();
int index = sourceTabbedPane.getSelectedIndex();
Main.updateUserMsg("Tab changed to: " + sourceTabbedPane.getTitleAt(index));
GraphTab graphTab = graphTabs.get(index);
try {
GuiController.ActiveGraphID = graphTab.getId();
} catch (Exception e1) {
// TODO Auto-generated catch block
e1.printStackTrace();
}
graphTab.updateImage();
if (simulation) {
updateActions();
} else {
// toggle menus for the correct graph type
if (graphTab.getCrGraph()) {
Menu.enableCRMenu();
Menu.disablePetriMenu();
} else {
Menu.enablePetriMenu();
Menu.disableCRMenu();
}
Menu.enableNewMenubar();
}
sourceTabbedPane.setComponentAt(index, graphTab.getpanel());
sourceTabbedPane.repaint();
}