I'm also annoyed by this sometimes, but sometimes it's convenient. No one has figured out a good way of distinguishing the two cases – when it's annoying and when it's convenient.
On Thu, Jun 16, 2016 at 4:49 PM, Kristoffer Carlsson <[email protected]> wrote: > No.
