]> matita.cs.unibo.it Git - helm.git/commit
A first partial implementation of deleting is introduced. The user might
authorPaolo Marinelli <paolo.marinelli@unibo.it>
Tue, 21 Jan 2003 11:42:16 +0000 (11:42 +0000)
committerPaolo Marinelli <paolo.marinelli@unibo.it>
Tue, 21 Jan 2003 11:42:16 +0000 (11:42 +0000)
commite290ab0a049ec2babedc3cb0ff802c430ed8ee7c
treec07c60a65253d1701f1349350091893890ba3007
parent6a72ec9c2e81e6558a0163877129cc6227948e3e
A first partial implementation of deleting is introduced. The user might
want to delete in two ways: a deleting mode near to what he has actually
typed (textual mode) and a deleting mode near to what screen shows (graphical
mode). Only a partial implementation of the second mode is provided. The user
can delete a macro he is typing, a group, an identifier, a number, a
superscript and a subscript. To delete in graphical mode the user has to type
BACKSPACE.
Added the following private methods to TPushParser class:
  void do_gdelete(void)
  void gdelete_prev(void)
Added the entry GDELETE to the TCat enum defined in the TToken struct.
helm/DEVEL/mathml_editor/src/TPushLexer.cc
helm/DEVEL/mathml_editor/src/TPushParser.cc
helm/DEVEL/mathml_editor/src/TPushParser.hh
helm/DEVEL/mathml_editor/src/TToken.hh
helm/DEVEL/mathml_editor/test/guiGTK.c
helm/DEVEL/mathml_editor/xsl/tml-mmlp.xsl