Сортировка ...
вы можете сделать следующее: сделать обычный запуск и взглянуть на кнопки в консоли PyDev. Существуют варианты для прекращения всех запусков и для повторного запуска последнего запуска, завершающего текущий - ярлыки появляются, если вы наводите курсор на кнопки:
Итак (при условии, что вы сосредоточены на редакторе PyDev):
- прекратить все запуски: Ctrl + Alt + F9
- прервать ток и перезапустить его: Ctrl + Shift + F9
Не совсем то, что вы хотите, но я думаю, что это становится ближе ...