]> matita.cs.unibo.it Git - helm.git/commit
Bug fixed. In the previous version, all right open macros and all delimited arguments
authorPaolo Marinelli <paolo.marinelli@unibo.it>
Wed, 12 Feb 2003 09:16:56 +0000 (09:16 +0000)
committerPaolo Marinelli <paolo.marinelli@unibo.it>
Wed, 12 Feb 2003 09:16:56 +0000 (09:16 +0000)
commit281107dfb0a5531ac13c9e183f39c05c65813e86
treeab0bf60e88415d67a7506888b4a41c56318de797
parent387aeebf96181c051b7f527a0901b173cfcdf194
Bug fixed. In the previous version, all right open macros and all delimited arguments
of a macro, could be closed inserting a closing brace.
Now, a right open macro can be closed only if it's contained in a group (with id).
To close it, the user has to type a closing brace, which closes the group.
A right open macro not contained in a group, cannot be closed: any closing brace
is ignored.
The only way to exit from a delimited argument, the user has to type the delimiter (or the
sequence of delimiters).
To fix this bug, a new method has been added to the TPushParser class. This method
(bool correctBrace(void)), is used to determine if a closing brace is appropriate to
close a right open macro.
In addition, advance method has been modified.
helm/DEVEL/mathml_editor/src/LPushLexer.cc [new file with mode: 0644]
helm/DEVEL/mathml_editor/src/LPushLexer.hh [new file with mode: 0644]
helm/DEVEL/mathml_editor/src/Makefile.am
helm/DEVEL/mathml_editor/src/Makefile.in
helm/DEVEL/mathml_editor/src/TPushParser.cc
helm/DEVEL/mathml_editor/src/TPushParser.hh