Pending more extensive testing, it works! The documents load and
scroll much smoother!
-á.
On Sat, Nov 27, 2010 at 02:21, Miguel de Benito Delgado
<address@hidden> wrote:
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.
_______________________________________________
Texmacs-dev mailing list
address@hidden
http://lists.gnu.org/mailman/listinfo/texmacs-dev
_______________________________________________
Texmacs-dev mailing list
address@hidden
http://lists.gnu.org/mailman/listinfo/texmacs-dev