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: interrupted= (N(waiting_events) > 0); //interrupted= true; That is, uncomment the first line, comment the second. And you can leave the time_credit set to its default value. Regards, ________________ Miguel de Benito. On Sat, Nov 27, 2010 at 00:35, Miguel de Benito Delgado < [email protected]> wrote: > 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 > goes > > There'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. >
_______________________________________________ Texmacs-dev mailing list [email protected] http://lists.gnu.org/mailman/listinfo/texmacs-dev
