]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5b08f1c) | patch
The reset() method ignored the fact that the widget can be frozen. Fixed.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 28 Apr 2003 17:13:39 +0000 (17:13 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 28 Apr 2003 17:13:39 +0000 (17:13 +0000)
commite02ad98d0f2aa460a049ab102619ea5b8231fcdc
treecf0382d3bb78d017dcdedd12a50de48dbd719f90tree | snapshot
parent5b08f1c5c65ca3c2929a7800742e10308cc0dd8acommit | diff
The reset() method ignored the fact that the widget can be frozen. Fixed.
helm/DEVEL/mathml_editor/src/TPushParser.cc diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.