Users Guide and xmode.dtd both claim that the BEGIN tag (inside of SPAN or SPAN_REGEXP)
can have the attributes AT_LINE_START, AT_WHITESPACE_END and AT_WORD_START, but their
values are ignored in XModeHandler.TagDecl.setText().
The Users Guide also states that the position attributes of the SPAN* tag relate to its END tag, which seems to have never been the case.
This patch simply removes the attribute declaration in xmode.dtd and the incorrect information in the Users Guide.
The last change in the relevant Java code was in September 2006 (rev. 7032) and no mode files (in trunk) have AT_* attributes in a BEGIN tag. Usage of undeclared attributes is ignored by XModeHandler, so the DTD change won't break anything. Actually implementing the behaviour described in the Users Guide would be somewhat complex while not providing any additional functionality.
|Submitted||marchaefner - 2013-01-11 - 02:59:12z||Assigned||nobody|
|2013-01-11 - 02:59:13z