Sept. 25, 2023
3:17 a.m.
On Mon, 25 Sept 2023 at 10:05, Dom Grigonis <dom.grigonis@gmail.com> wrote:
What is your position on this?
Do you think that such thing is worth having?
If yes, do any of the 3 final options seem sensible to you?
My position is that so far, you haven't shown it to be of much value. Which might be because the idea has no value, but more likely, it's because I just haven't understood from your posts why this should be added to the language. So far, you've shown that this should be an editor feature, but you haven't convinced me that the language should take any notice of it. ChrisA