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

Tue, 11 Sep 2007 15:10:56 +0200CONFIG_UTILS (sync)
greg [Tue, 11 Sep 2007 15:10:56 +0200] rev 27
CONFIG_UTILS (sync)