]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b2d85dc) | patch
Added some controls for the graphical deleting of apostrophe.
authorPaolo Marinelli <paolo.marinelli@unibo.it>
Tue, 4 Feb 2003 16:21:10 +0000 (16:21 +0000)
committerPaolo Marinelli <paolo.marinelli@unibo.it>
Tue, 4 Feb 2003 16:21:10 +0000 (16:21 +0000)
commit12274c7d0f49801a75e1f18ab181bed99ae66256
tree9b09fd3533ef774e9bb3e6bf1d3027df1547f6f7tree | snapshot
parentb2d85dc2b14c7006280f328e62668c9ec4aa5a43commit | diff
Added some controls for the graphical deleting of apostrophe.
The code for the graphical deleting is now divided in several private methods, which
 make the code clearer.
Partially added the use of the logger in the class TPushParser.
Some little errors has been eliminated in the implementation of the class
TPushParser.
helm/DEVEL/mathml_editor/src/TPushParser.cc diff | blob | history
helm/DEVEL/mathml_editor/src/TPushParser.hh diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.