I would not want to see a popup window, but there are lots of other, more subtle ways to indicate progress that would totally work here. Lets see if we can find a measure of progress that makes sense first.
One idea: the drracket startup progress bar counts the number of files that are passed to one of the eval/compile handlers as a measure of progress and it tracks if the total number changes over time. Maybe that would work? Related to this is the very recent discussion about errortrace in a DrRacket issue, as compiling a file (via errortrace) is a completely different than loading a zo file off of the disk. Robby On Sat, Oct 28, 2017 at 3:13 PM, 'John Clements' via Racket Users <email@example.com> wrote: > Okay, this is just what the world needs…another DrRacket GUI suggestion. If > it makes sense, though, I’d love to help implement it. > > If there’s anything that the last 30 years of UI (oh… sorry… UX) design has > taught us, it’s that people hate to wait, and they REALLY hate to wait when > they have no sense of progress. > > Currently, hitting the DrRacket “run” button can result in substantial > compilation delay, especially when using Typed Racket. > > There are various things that can actually make compilation better. > > Alongside this, though, one thing that might make people happier would be to > provide a short-lived pop-up progress window that tries to indicate the > progress toward full compilation. > > The obvious problem here is that it’s impossible, in general, to predict how > many files will have to be compiled, and in fact “compilation” is a very > flexible term in the Racket world. In many cases, opening one file will > reveal many more that need to be compiled. In fact, it’s essentially a tree > exploration; I’m not sure there’s a good visualization for this, but it would > be interesting to try. > > Does this sound like an interesting or useful idea? > > 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. -- 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.