diff options
| author | ppedrot | 2012-04-30 19:07:01 +0000 |
|---|---|---|
| committer | ppedrot | 2012-04-30 19:07:01 +0000 |
| commit | ecbc59277d64b04d000c451f6d007c871ec64022 (patch) | |
| tree | 9962256618d02d3e230d5d12dbe27b5ecb937bcc /scripts | |
| parent | 98017e17612be373435c2c532534269c626f9b3f (diff) | |
This is a tentative bugfix for the numerous GText.iter erros occuring in CoqIDE.
Because of the previous highlighting process, whenever this process would fail
on an unterminated phrase, a thread would wait 1.5s and retry once. This thread
conflicted in particular with any subsequent non-atomic use of iters. Actually,
this seems pretty useless, so until using SourceView, this sould do the work.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15259 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions