<table><tr><td style="">dhaumann added a comment.
</td><a style="text-decoration: none; padding: 4px 8px; margin: 0 8px 8px; float: right; color: #464C5C; font-weight: bold; border-radius: 3px; background-color: #F7F7F9; background-image: linear-gradient(to bottom,#fff,#f1f0f1); display: inline-block; border: 1px solid rgba(71,87,120,.2);" href="https://phabricator.kde.org/D14451">View Revision</a></tr></table><br /><div><div><p>Btw, thinking more about it: I believe we do want globally unique IDs for a very simple reason. Think of e.g. bracket matching where multiple Definitions are included (e.g.: <?php { /> html { <?php } />. For the last '}', we want to find the matching attribute '{'. With globally unique attributes, this is as easy as compaing IDs. With Definition local IDs, we also have to check the Definition and the attribute.</p>

<p>So can we at least conclude that the global IDs are what we want?</p>

<p>With respect to #includeRules-included a Definition 'X': The IDs from included 'X' are the same as the IDs from 'X' itself. So the Formats are reused. Why do you need a list of all included IDs at all? If the IDs are global, you simply don't care, right?</p></div></div><br /><div><strong>REPOSITORY</strong><div><div>R216 Syntax Highlighting</div></div></div><br /><div><strong>REVISION DETAIL</strong><div><a href="https://phabricator.kde.org/D14451">https://phabricator.kde.org/D14451</a></div></div><br /><div><strong>To: </strong>dhaumann, cullmann, vkrause<br /><strong>Cc: </strong>kwrite-devel, kde-frameworks-devel, michaelh, kevinapavew, ngraham, bruns, demsking, cullmann, sars, dhaumann<br /></div>