-
Notifications
You must be signed in to change notification settings - Fork 23
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Overview #238
Overview #238
Conversation
I'm wondering if we can/should combine the two tables into one: Only when there are >>100 cases that would become problematic. Basically your version is pretty similar to the old one but with a prettier progress bar. I'm also not sure yet whether or not to show all not-yet-started submissions already from the start. I suppose the main benefit is that the table has a constant size and it prevents some jumping around. I do have some flickering still. Would have to look in to this more but I suppose it all comes down to buffering and then flushing at the right times. |
Maybe stderr buffer size can be increased more using something like https://stackoverflow.com/a/65035026/2716069. |
Oh, we should either test or disable this for windows |
I'm leaning towards enabling this by default. Now that it (seems to) work well I don't really see a reason not to. On terminals without overwriting you already needed |
Yes, this is possible, same for the height
The lines are already wrapped manually, see my screenshot: they're cut off at multiples of 10. Besides, this doesn't really affect the usability, because the problem is mostly that there are too many lines, so that scrolling becomes impossible.
I think that would be my preference 🙂 We could even add an extra flag that always forces the display of this table, even when the terminal is too small. The calculation for whether the terminal is too small will probably somewhat arbitrary, though. My suggestion:
*) "half" is somewhat arbitrary, I chose this so that the "regular" output of |
I think the only thing still missing right now, is a mention in the documentation? Other than that, I think this is ready for merging 😄 |
I won't have time to review. Feel free to merge |
See #195