# HG changeset patch # User Björn Ricks # Date 1381486465 -7200 # Node ID 8f89fd3512251a8ba4846d5aa35b894ba8f768fc # Parent 05cb2e7e705f9f8f1c5e9d18fa397629adc62869 Not necessary to select project when the project is stopped For me this statement is completely wrong. Nevertheless it also has no effect either. Therefore its save to remove it. diff -r 05cb2e7e705f -r 8f89fd351225 getan/states.py --- a/getan/states.py Fri Oct 11 12:10:38 2013 +0200 +++ b/getan/states.py Fri Oct 11 12:14:25 2013 +0200 @@ -322,7 +322,6 @@ def stop(self): signal.alarm(0) - self.view.select() if self.break_start: proj = self.project if proj: