jbosstools/jbosstools-jst — pull request #131 by scabanovich (2013-05-15 23:04:25+00:00)
Title: JBIDE-14436 jquery mobile button id property

ID field editor is added to all jQuery Mobile widgets.