Andreas Klöckner
Andreas Klöckner
When you say, "cannot enter the REPL", what's the symptom?
Should already be there. [Urwid supports it](https://urwid.org/manual/displayattributes.html#bit-foreground-and-background-colors), and pudb themes merely use Urwid's attributes.
I think all that's needed here is to switch more edit fields to `urwid_readline.ReadlineEdit`. PRs welcome.
There's not currently a way. I'd be up for looking at a PR.
Thanks for working on this! I've cherry-picked c45ab4c1eede12a95ccf88e75655aec62ef14c19 into #892, which I'm about to merge.
Additionally, say > “This is not your first session. If you start another one, for your overall grade we will ‘Use the max grade’ among all your **graded** sessions.” (Suggested...
Pushed a fix.
What specifically is missing? Do you have an example or an idea what `__repr__` should be doing that it currently isn't?
Hmm, thanks for the reminder. #303 is related. One complexity here is that `ElementwiseKernel` (at least without additional help) has no way to find out which array is being written....
You closed this, but didn't leave a comment. Could you explain?