>> If you add code that treats some character sequences in a special way, you
>> also need to provide some means of escaping. Another alternative is to add
>> options to disable cross-referencing. Yet another alternative is to
>> cross-referencing for notes tagged "Code".
> My initial thought was to escape the character sequence, but the idea of
> disabling cross references in notes tagged as "code" is interesting and I'd
> like to solve it that way if no one has any objections.
> Additionally the tags idea could be extended to a check box in the tags UI
> that allows the user to select if a specific tag will allow cross
> references. Thoughts?
It is good; however, since the "Code" tag might be useful in some
other places, IMHO it is better to have both these features. I mean if
a note is tagged as "Code" it will not be able to have neither
cross-references nor HTML (or any other kind of formatted) text.