Searched refs:jTabbedPaneMain (Results 1 – 1 of 1) sorted by relevance
71 JTabbedPane jTabbedPaneMain = new JTabbedPane(); field in RBManagerGUI183 jTabbedPaneMain.setSize(dimRight); in initComponents()184 jTabbedPaneMain.addTab(Resources.getTranslation("tab_statistics"), jPanelStats); in initComponents()185 jTabbedPaneMain.addTab(Resources.getTranslation("tab_untranslated"), jPanelUntrans); in initComponents()186 jTabbedPaneMain.addTab(Resources.getTranslation("tab_groups"), jPanelGroups); in initComponents()187 jTabbedPaneMain.addTab(Resources.getTranslation("tab_search"), jPanelSearch); in initComponents()200 jSplitPaneMain.setRightComponent(jTabbedPaneMain); in initComponents()298 jSplitPaneMain.setRightComponent(jTabbedPaneMain); in stateChanged()1139 jTabbedPaneMain.setTitleAt(0,Resources.getTranslation("tab_statistics")); in updateLocale()1140 jTabbedPaneMain.setTitleAt(1,Resources.getTranslation("tab_untranslated")); in updateLocale()[all …]