janhaag/PSE2011 — Issue #49: Execution does not stop when changing source code
Author: tschlum
Created: 2012-02-28 14:50:08+00:00
State: open
Labels: GUI

While an execution is paused and a new file is loaded into the editor by using 'File'->'Load' or 'File'->'New', the execution will still be in progress.