Kristoffer Carlsson
Kristoffer Carlsson
I think someone just has to add support for it. Should not be too hard.
> Perhaps it would be better to either make another branch from master that contains #149, or merge that, so that CI does not fail for unrelated reasons. CI runs...
CI ran before the other PR got merged. When a new commit is pushed here, it will work. Or I just restart CI.
Yes, I think the dispatch is too wide. Need some kind of type that is specific to a colorgradient, either one in `PlotUtils` or a custom one in here.
You can use Colors colormap (https://kristofferc.github.io/PGFPlotsX.jl/stable/examples/juliatypes/#Colormap-1) so adding for `ColorGradient` shouldn't be hard.
I remember looking into this a long time ago. I don't recall the details but it had something to do with that when you take a derivative w.r.t a symmetric...
To me it feels like if you know which registry you want (you know the correct URL) why not just add it via that URL? Mixing in interactive stuff in...
> Isn’t that also true for name clashes, where a name is in multiple registries? Yes, I agree. That should probably be removed as well and be replaced with a...
That seems like a good idea to me at least.
It would be helpful if you could try with different terminals / different settings as much as possible to try to narrow it down.