Tue, 11 Sep 2007 16:07:13 +0200 etisserant Disabled unused run/edit menu, fixed some event/refresh machanisms