Merge pull request from ericrosenbaum/feature/extension-id-in-toolbox

Add extension id to toolbox category XML
This commit is contained in:
Eric Rosenbaum 2018-05-11 09:30:05 -04:00 committed by GitHub
commit 73079c56b4
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -839,7 +839,7 @@ class Runtime extends EventEmitter {
const menuIconXML = menuIconURI ?
`iconURI="${menuIconURI}"` : '';
xmlParts.push(`<category name="${name}" ${colorXML} ${menuIconXML}>`);
xmlParts.push(`<category name="${name}" id="${categoryInfo.id}" ${colorXML} ${menuIconXML}>`);
xmlParts.push.apply(xmlParts, paletteBlocks.map(block => block.xml));
xmlParts.push('</category>');
}