mirror of
https://github.com/arduino/Arduino.git
synced 2025-03-14 11:29:26 +01:00
Merge branch 'cut/copyEnabled' of https://github.com/avargas-nearsoft/Arduino
This commit is contained in:
commit
050e8ba304
@ -1376,8 +1376,6 @@ public class Editor extends JFrame implements RunnerListener {
|
|||||||
|
|
||||||
menu.addSeparator();
|
menu.addSeparator();
|
||||||
|
|
||||||
// TODO "cut" and "copy" should really only be enabled
|
|
||||||
// if some text is currently selected
|
|
||||||
JMenuItem cutItem = newJMenuItem(tr("Cut"), 'X');
|
JMenuItem cutItem = newJMenuItem(tr("Cut"), 'X');
|
||||||
cutItem.addActionListener(new ActionListener() {
|
cutItem.addActionListener(new ActionListener() {
|
||||||
public void actionPerformed(ActionEvent e) {
|
public void actionPerformed(ActionEvent e) {
|
||||||
@ -1522,6 +1520,21 @@ public class Editor extends JFrame implements RunnerListener {
|
|||||||
menu.add(useSelectionForFindItem);
|
menu.add(useSelectionForFindItem);
|
||||||
}
|
}
|
||||||
|
|
||||||
|
menu.addMenuListener(new MenuListener() {
|
||||||
|
@Override
|
||||||
|
public void menuSelected(MenuEvent e) {
|
||||||
|
boolean enabled = textarea.getSelectedText() != null;
|
||||||
|
cutItem.setEnabled(enabled);
|
||||||
|
copyItem.setEnabled(enabled);
|
||||||
|
}
|
||||||
|
|
||||||
|
@Override
|
||||||
|
public void menuDeselected(MenuEvent e) {}
|
||||||
|
|
||||||
|
@Override
|
||||||
|
public void menuCanceled(MenuEvent e) {}
|
||||||
|
});
|
||||||
|
|
||||||
return menu;
|
return menu;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
Loading…
x
Reference in New Issue
Block a user