This has already been discussed, and I think it’s on the developers’ radar. However, when it will be implemented is something only @lubos can comment on.
1 Like
This has already been discussed, and I think it’s on the developers’ radar. However, when it will be implemented is something only @lubos can comment on.