[Texmacs-dev] Re: Possible temporary solution to the repaint bug.

[Miguel de Benito Delgado]

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 <address@hidden> 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.