Comment 2 for bug 521480

Are you sure you can work either way? Consider what this means for the new
lemma behaviors. If, as we are proposing, lemmas become annotations, then by
allowing duplicate annotation titles, we also permit duplicate lemmas, which
seems non-ideal.

For users like Brent, duplicate comments is a good thing, since
multi-targeting a single comment is way more complicated than just adding
the same comment title over and over, but when the comments get more
structured, we may very well want to enforce uniqueness. Or at least, offer
excellent tools for re-using existing comments where they exist.

This might require further discussion.

On Tue, Feb 16, 2010 at 10:37 AM, Yin Liu <email address hidden> wrote:

> I can work with either system, so I'm afraid I don't really have an
> opinion on this one.
>
> --
> Annotation title uniqueness - is it still needed?
> https://bugs.launchpad.net/bugs/521480
> You received this bug notification because you are a direct subscriber
> of the bug.
>

--
Jeff Smith
Computer Science Dept.
University of Saskatchewan
Phone: 306-665-8157