diff options
author | wisberg <wisberg> | 2003-04-30 02:32:39 +0000 |
---|---|---|
committer | wisberg <wisberg> | 2003-04-30 02:32:39 +0000 |
commit | 632ce1e11ac421e2cdfbe51582ccf3f4968eddc3 (patch) | |
tree | 86927ccf3e99a4ec7da6dc90919d4207afd53221 /ajde | |
parent | be81a579eef4485384942fc8d34a39fd45dc632d (diff) | |
download | aspectj-632ce1e11ac421e2cdfbe51582ccf3f4968eddc3.tar.gz aspectj-632ce1e11ac421e2cdfbe51582ccf3f4968eddc3.zip |
support shift-key to rebuild-all in incremental mode
Diffstat (limited to 'ajde')
-rw-r--r-- | ajde/src/org/aspectj/ajde/ui/swing/BuildConfigPopupMenu.java | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/ajde/src/org/aspectj/ajde/ui/swing/BuildConfigPopupMenu.java b/ajde/src/org/aspectj/ajde/ui/swing/BuildConfigPopupMenu.java index 67323ea7c..97904a5dc 100644 --- a/ajde/src/org/aspectj/ajde/ui/swing/BuildConfigPopupMenu.java +++ b/ajde/src/org/aspectj/ajde/ui/swing/BuildConfigPopupMenu.java @@ -24,6 +24,7 @@ import javax.swing.JMenuItem; import javax.swing.JPopupMenu; import org.aspectj.ajde.Ajde; +import org.aspectj.ajde.ui.EditorManager; import org.aspectj.asm.ProgramElementNode; public class BuildConfigPopupMenu extends JPopupMenu { @@ -38,7 +39,11 @@ public class BuildConfigPopupMenu extends JPopupMenu { new ActionListener() { public void actionPerformed(ActionEvent e) { Ajde.getDefault().getConfigurationManager().setActiveConfigFile(buildConfig); - Ajde.getDefault().getBuildManager().build(); + if (EditorManager.isShiftDown(e.getModifiers())) { + Ajde.getDefault().getBuildManager().buildFresh(); + } else { + Ajde.getDefault().getBuildManager().build(); + } action.actionPerformed(e); } }); |