As suggested by @jhp-lanl this would be a useful feature. It is expensive, but if obvious and deliberate, could be convenient.
As suggested by @jhp-lanl this would be a useful feature. It is expensive, but if obvious and deliberate, could be convenient.