|From:||Miguel de Benito Delgado|
|Subject:||[Texmacs-dev] Re: Possible temporary solution to the repaint bug.|
|Date:||Sat, 27 Nov 2010 02:21:51 +0100|
An alternative solution to a possibly unrewarding constant tinkering of the constant...
Same file, but now in function qt_gui_rep::check_event, Change lines 795 and 796 to read:
That is, uncomment the first line, comment the second. And you can leave the time_credit set to its default value.
interrupted= (N(waiting_events) > 0);
Hi,I was trying to post this to the users list but the confirmation of my subscription never came, so I'm sending it here for those who read both lists. You are anyway the only ones likely to try the hack at all so here it goesThere's been some trouble with the repaint bug, and after seeing it myself on Álvaro's computer and reading Sam's reports I noticed that changing a constant in src/Plugins/Qt/qt_gui.cpp, namely time_credit, to one tenth its value, I also experienced the problem when opening large files. So those of you suffering from the bug can try to set it to, say, 1000 (ten times its default value) and see if it does the trick. This will probably decrease responsiveness but it's a tradeoff you might be willing to accept until proper fixing is done.Regards,________________
Miguel de Benito.
|[Prev in Thread]||Current Thread||[Next in Thread]|