01org/rib — pull request #293 by zhizhangchen (2012-09-11 02:42:16+00:00)
Title: [Property View] Fix bug: options property of SelectMenu can be sorted by...

... dragging delete button