soe.addChangeListener(new ChangeListener()
soe.addChangeListener(new ChangeListener()
/** * Create a checkbox menu item * * @param action * The target action * * @return JMenuItem */ private JMenuItem createCheckboxMenuItemForAction(final Action action) { final JCheckBoxMenuItem it = new JCheckBoxMenuItem(); it.setAction(action); it.addChangeListener(e -> { Object oldValue = action.getValue(EditorFrame.CHECKBOX_VALUE); if (oldValue != null && oldValue.equals(it.isSelected())) { return; } action.putValue(EditorFrame.CHECKBOX_VALUE, it.isSelected()); action.actionPerformed(new ActionEvent(it, 0, "changed")); }); action.addPropertyChangeListener(evt -> { if (EditorFrame.CHECKBOX_VALUE.equals(evt.getPropertyName())) { Boolean checked = (Boolean) evt.getNewValue(); if (it.isSelected() != checked) { it.setSelected(checked); } } }); return it; }
private void addMessageFormatterOrColorizerToMenu(final JPopupMenu menu, final PluginableElement pluginable, final PluginableElementsContainer selectedPluginableContainer) { { final JCheckBoxMenuItem boxMenuItem = new JCheckBoxMenuItem(pluginable.getName(), selectedPluginableContainer.contains(pluginable)); boxMenuItem.setToolTipText(pluginable.getDescription()); menu.add(boxMenuItem); boxMenuItem.addChangeListener(e -> { if (boxMenuItem.isSelected() && !selectedPluginableContainer.contains(pluginable)) { selectedPluginableContainer.addElement(pluginable); } else if (!boxMenuItem.isSelected() && selectedPluginableContainer.contains(pluginable)) { selectedPluginableContainer.removeElement(pluginable); } }); } }
highlightCons.addChangeListener(new ChangeListener() { public void stateChanged(ChangeEvent e){ JCheckBoxMenuItem btn = (JCheckBoxMenuItem ) e.getSource(); highlightNonCons.addChangeListener(new ChangeListener() { public void stateChanged(ChangeEvent e){ JCheckBoxMenuItem btn = (JCheckBoxMenuItem ) e.getSource(); highlightDiff.addChangeListener(new ChangeListener() { public void stateChanged(ChangeEvent e){ JCheckBoxMenuItem btn = (JCheckBoxMenuItem ) e.getSource(); mntmToggleTranslation.addChangeListener(new ChangeListener() { public void stateChanged(ChangeEvent e){ JCheckBoxMenuItem btn = (JCheckBoxMenuItem ) e.getSource(); mntmShowCharsetsRuler.setSelected(true); mntmShowCharsetsRuler.addChangeListener(new ChangeListener() { public void stateChanged(ChangeEvent e){ JCheckBoxMenuItem btn = (JCheckBoxMenuItem ) e.getSource(); mntmFontCase.setSelected(true); mntmFontCase.addChangeListener(new ChangeListener() { public void stateChanged(ChangeEvent e){ JCheckBoxMenuItem btn = (JCheckBoxMenuItem ) e.getSource();