Searched refs:jMenuOptionsPreferences (Results 1 – 1 of 1) sorted by relevance
1445 JMenuItem jMenuOptionsPreferences = new JMenuItem(); field in RBManagerMenuBar1509 jMenuOptionsPreferences.setText(Resources.getTranslation("menu_options_preferences")); in updateLocale()1510 …jMenuOptionsPreferences.setMnemonic(getKeyEventKey(Resources.getTranslation("menu_options_preferen… in updateLocale()1718 jMenuOptions.add(jMenuOptionsPreferences); in RBManagerMenuBar()1742 jMenuOptionsPreferences.setVisible(true); in RBManagerMenuBar()1743 jMenuOptionsPreferences.setText(Resources.getTranslation("menu_options_preferences")); in RBManagerMenuBar()1744 …jMenuOptionsPreferences.setMnemonic(getKeyEventKey(Resources.getTranslation("menu_options_preferen… in RBManagerMenuBar()1745 jMenuOptionsPreferences.addActionListener(listener); in RBManagerMenuBar()