patch for bug #133 (widgets names are not updated when renaming widgets)