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