I'm not sure, but if this is the issue, it's happening somewhere in the implementation of text%, I believe. In particular, it seems to be the case that the `insert` method is being called once every 1,000 bytes (with a single string each time). Adding this printf:
(printf "str/snp: ~s\n" (and (string? str/snp) (string-length str/snp))) here: https://github.com/racket/gui/blob/master/gui-lib/framework/private/text.rkt#L2879 demonstrates that, FWIW. Robby On Mon, Dec 19, 2016 at 12:33 PM, Jens Axel Søgaard <jensa...@soegaard.net> wrote: > Just curious. > > #lang racket > (for ([x 1000]) (displayln x)) > > The program above runs very quickly in DrRacket. I can hardly see other > numbers than the final ones. > > For this program: > > #lang racket > (for ([x 10000]) (displayln x)) > > the first, say, 1000, lines are done in an instant, but then at some point > it looks as if the numbers "count up". > > Is it it enough to refresh the screen less often (when the buffer is > non-empty that is)? > > /Jens Axel > > > 2016-12-19 19:21 GMT+01:00 JCG <griffin...@gmail.com>: >> >> Thanks for the code reference. That will definitely take a while for me >> to grok. I will punt with a separate editor window for now and later get >> acquainted with the framework text.rkt code. >> >> Thanks again, >> John >> >> -- >> You received this message because you are subscribed to the Google Groups >> "Racket Users" group. >> To unsubscribe from this group and stop receiving emails from it, send an >> email to racket-users+unsubscr...@googlegroups.com. >> For more options, visit https://groups.google.com/d/optout. > > > > > -- > -- > Jens Axel Søgaard > > -- > You received this message because you are subscribed to the Google Groups > "Racket Users" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to racket-users+unsubscr...@googlegroups.com. > For more options, visit https://groups.google.com/d/optout. -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
