diff options
| author |  Emilio Jesus Gallego Arias <e+git@x80.org> | 2017-03-28 00:06:21 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias <e+git@x80.org> | 2017-03-28 00:06:21 +0200 |
| commit | df1d4dc9c3808a811111e4cd9eeda328b51f20de (patch) | |
| tree | 5afff9b53e69fdfb72de3ae4cc577b330f748bd2 /kernel/mod_subst.ml | |
| parent | 7535e268f7706d1dee263fdbafadf920349103db (diff) | |
[coqide] Protect against size_allocate race in proofview.
To handle dynamic printing in CoqIDE we listen to the
`size_allocate` signal , [see more details in
6885a398229918865378ea24f07d93d2bcdd2802]
However, we must be careful to protect against scrollbar creation: it
is possible for the `size_allocate` handler to change the size when
inserting text (due to scrollbars), thus we may enter in an infinite
loop.
Our fix is to check if the width has really changed, as done in
`Wg_MessageView`.
This fixes the problem noted by @herbelin in
https://coq.inria.fr/bugs/show_bug.cgi?id=5417
Diffstat (limited to 'kernel/mod_subst.ml')
0 files changed, 0 insertions, 0 deletions