01org/rib — pull request #85 by zhizhangchen (2012-06-25 06:50:04+00:00)
Title: [Widgets] Deeply extend widget

Currently only properties are inherited when extending a widget,
this patch also extend other defintions of a wdiget. Be cautious
that all elements of an array should be specified in the child
type if you don't want to override them.