matthieu-m

I find the idea interesting, to the point I explored the area a bit back then in the context of the `ghost_collections` crate... but wasn't satisfied by what I came...

I still think this idea is pretty cool, even in the absence of a proof. The question, then, is how to move forward. 1. Your idea could be implemented in...

> It would feel right to have it as a feature here, if you are up for that. That's fine with me, as mentioned there's already two experimental features here...

I understand this RFC focuses on function calls, however I do appreciate the shootout at the end to Functional Record Update. Specifically, a natural extension of Functional Record Update would...

Edited the description to include that the behavior occurs on Firefox 139.0.4 on Windows 11.

I tried playing around some more, and I manage to reproduce both your behaviour... and mine! It appears that horizontal scrolling only works _if the pointer is on an overflowing...

Yes, it's reproducible there. In the absence of a side panel there, I simply used a narrow browser window. I note that horizontal scrolling happens in both direction: - Put...

I've opened https://github.com/ajaxorg/ace/issues/5836 (as already cross-referenced above). Let's see what UI specialists think about it... I'm personally not convinced there's a good (simple) solution, so not clear anything will come...

As mentioned by @Lokathor above, reducing the number of special-cases is generally a win with regard to complexity (for the end-user). Following on this, I would suggest moving on with...

> @matthieu-m It wouldn't be consistent with how `#[derive(Default)]` works on generic enums right now. I think the least surprising / most consistent option would rather be to add `Default`...