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
