Updated RichWidget resources to get the change to the default value of the switchByDblClick option of the pick list widget