]> matita.cs.unibo.it Git - helm.git/commit
Added the special deletion. Pressing backspace, the user has a normal deletion
authorPaolo Marinelli <paolo.marinelli@unibo.it>
Mon, 24 Feb 2003 11:07:47 +0000 (11:07 +0000)
committerPaolo Marinelli <paolo.marinelli@unibo.it>
Mon, 24 Feb 2003 11:07:47 +0000 (11:07 +0000)
commita407cfb9bc31c5f9b94eb437d642e7582b641fc4
treeef1af0a97f4b6ae4dc157c9d63806331f1cb11b7
parentd97a5aeaed9e54e7a5c33570c3daaa0342979b66
Added the special deletion. Pressing backspace, the user has a normal deletion
(which can be either graphical or textual). Pressing backspace + alt, the user
has a special deletion (which can be either textual or graphical).
To implement this feature, all parser's methods concerning the deletion have
been modified: now, all of them have a boolean parameter, which indicates which
kind of deletion the method has to operate.
All methods' names have been changed: the word gdelete has been substitued with
drop.
helm/DEVEL/mathml_editor/src/APushLexer.hh
helm/DEVEL/mathml_editor/src/APushParser.hh
helm/DEVEL/mathml_editor/src/LPushLexer.cc
helm/DEVEL/mathml_editor/src/LPushLexer.hh
helm/DEVEL/mathml_editor/src/TPushLexer.cc
helm/DEVEL/mathml_editor/src/TPushLexer.hh
helm/DEVEL/mathml_editor/src/TPushParser.cc
helm/DEVEL/mathml_editor/src/TPushParser.hh
helm/DEVEL/mathml_editor/src/TTokenizer.cc
helm/DEVEL/mathml_editor/src/TTokenizer.hh