]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3202740) | patch
Bug solved: the #reparent method of Gtk should NOT be used:
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 26 Jul 2005 16:47:01 +0000 (16:47 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 26 Jul 2005 16:47:01 +0000 (16:47 +0000)
commitf8bea0ecd5e7413e9e02c7adeb26cb19b17764ee
treedd6eb7c847edaed3983a2c95abe643a2645c250ftree | snapshot
parent3202740c95ba4b662b7f96533fccdff522e67e24commit | diff
Bug solved: the #reparent method of Gtk should NOT be used:
see http://www.gtk.org/faq/#AEN636.
This solves the flickering problem that occurred when a new tab was selected.
helm/matita/matitaMathView.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.