Searched refs:jMenuOptions (Results 1 – 1 of 1) sorted by relevance
1440 JMenu jMenuOptions = new JMenu(); // Menu -> Options field in RBManagerMenuBar1499 jMenuOptions.setText(Resources.getTranslation("menu_options")); in updateLocale()1500 jMenuOptions.setMnemonic(getKeyEventKey(Resources.getTranslation("menu_options_trigger"))); in updateLocale()1540 add(jMenuOptions); in RBManagerMenuBar()1709 jMenuOptions.setVisible(true); in RBManagerMenuBar()1710 jMenuOptions.setText(Resources.getTranslation("menu_options")); in RBManagerMenuBar()1711 jMenuOptions.setMnemonic(getKeyEventKey(Resources.getTranslation("menu_options_trigger"))); in RBManagerMenuBar()1712 jMenuOptions.add(jMenuOptionsAddNewEntry); in RBManagerMenuBar()1713 jMenuOptions.add(jMenuOptionsAddNewGroup); in RBManagerMenuBar()1714 jMenuOptions.add(jMenuOptionsAddNewResourceFile); in RBManagerMenuBar()[all …]