Searched refs:KEY_ConversionModePriority (Results 1 – 3 of 3) sorted by relevance
407 …xMenuItem priority = new JCheckBoxMenuItem(Resource.getString(Keys.KEY_ConversionModePriority[0])); in buildPreferencesMenu()408 priority.setToolTipText(Resource.getString(Keys.KEY_ConversionModePriority[0] + Keys.KEY_Tip)); in buildPreferencesMenu()409 priority.setActionCommand(Keys.KEY_ConversionModePriority[0]); in buildPreferencesMenu()410 priority.setState(Common.getSettings().getBooleanProperty(Keys.KEY_ConversionModePriority)); in buildPreferencesMenu()
84 …public final static String[] KEY_ConversionModePriority = { "MainPanel.ConversionModePriority", "0… field in Keys
284 …sing.ACTION_UNDEFINED || !Common.getSettings().getBooleanProperty(Keys.KEY_ConversionModePriority)) in startProcessing()