modified:   gui/ExecutionControl.cpp