]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6f22bfb) | patch
MAJOR SPEED UP. The previous implementation of scrolling of the slidebar to
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 6 Mar 2012 15:35:29 +0000 (15:35 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 6 Mar 2012 15:35:29 +0000 (15:35 +0000)
commitfe4e63f87929fc9d63db499c5035573683be34be
tree767fefbb29997b15f8b3ba625cdedbc9ad5833adtree | snapshot
parent6f22bfb3ed94075b198ed626ce607461f45e1c28commit | diff
MAJOR SPEED UP. The previous implementation of scrolling of the slidebar to
the end of the sequent was based on listening to signals. These signals:

1) were raised multiple times for each insertion (LOT of times!) making
   the scrolling extremely slow.
2) the callback was registered multiple times every time the user switched
   goal. This made the system slower and slower.
matita/matita/matitaMathView.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.