removed: obsolete widget (was moved to group_tools 2012-07-31)