307308309310311312313
} public void executeCommand(String command) { new CommandJob(command); history.add(new Entry(command, project.getName())); }
341342343344345346347348349350351
counter++; } } } Entry chosen = commandHistoryPopup(commandText, filteredEntries.toArray(new Entry[filteredEntries.size()])); if (chosen != null) { commandText.setText(chosen.getCommand()); commandText.setSelection(chosen.getCommand().length()); } }