Very plausible, good idea, thanks for pointing this out. There is one occasion where it is less handy, namely after creating a new, still empty group. Maybe an exception would be helpful here—but maybe no, as too many exceptions cause confusion and do more harm than good. So, thanks again!
↧