Kristoffer Carlsson
Kristoffer Carlsson
See https://github.com/KristofferC/OhMyREPL.jl/pull/270. I also have some local work to make `Out[3]` work when entered in the REPL.
https://github.com/JuliaLang/julia/pull/46781 does this natively in the Julia REPL now.
It's just standard compilation overhead. It could perhaps be lowered if we had a better API for the REPL to color text (so the method overwrites are not needed). An...
Yes, probably.
I tried https://github.com/KristofferC/OhMyREPL.jl/pull/256#issuecomment-1031210203 but it didn't work for me.
Obsolete by https://github.com/JuliaLang/julia/pull/46781
What happens on e.g. WSL? Base has some timing functionality to deal with slow paste on Windows now (https://github.com/JuliaLang/julia/pull/39538). Perhaps we can do something similar to that.
If possible, I think trying to do the same as the REPL itself does with the timing is preferable because that should work on the old windows terminal and it...
Looks cool. Needs a dedicated doc page for it, and ideally the syntax highlighting would agree with the one you picked in OMR.
The problem is more that we probably shouldn't syntax highlight any REPL modes other than `julia`, and perhaps `help`.