mrk and id

From
Yves Savourel
Date
2012-05-14T21:10:00+00:00
ID
Thread
mrk and id
Hi all,  So it seems we tend to agree that the id attribute should be required for <mrk>.  The next question is: what should be the constraints of its value?  I assume, like for <ph>/<pc>/<sc>/<ec> we want the id to be unique within source and target. That is, if the same id is used in source and target it means it's the same <mrk>.  Now, can a <mrk> have the same ID value as a <ph>/<pc>/<sc>/<ec>?  Can we have this:  <source>The <mrk id="1" type="comment" value="Possible values: Printer or Stacker"><ph id="1">$1</ph></mrk> has been enabled.</source>  Or must we have something like this:  <source>The <mrk id="m1" type="comment" value="Possible values: Printer or Stacker"><ph id="c1">$1</ph></mrk> has been enabled.</source>  My initial thought is that it's probably easier to maintain a single set of unique IDs rather than two. And I'm thinking it would also (if needed) allow external objects to point to either <mrk> or <ph>/<pc>/<sc>/<ec> without specifying the distinction.  Thoughts? -yves