本文整理匯總了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();
}