runrev/livecode-ide — pull request #15 by runrevsebastien (2014-12-05 16:15:51+00:00)
Title: [[ Bug 14155 ]] Fix to the Menu Builder

This replaces the branch bugfix-11573, since a specific bug report has been opened for the IDE issue.
There is still a fix to bring to the documentation (see the bug 11573).