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 protected]> 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 [email protected]. > 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 [email protected]. For more options, visit https://groups.google.com/d/optout.
