Have not found the time to reproduce this and there have been no other reports. It definitely happened, but my best guess is a one-off gtk glitch that we may never be able to diagnose. Closing this as invalid; if someone else can reproduce it, we can of course reopen.
Have not found the time to reproduce this and there have been no other reports. It definitely happened, but my best guess is a one-off gtk glitch that we may never be able to diagnose. Closing this as invalid; if someone else can reproduce it, we can of course reopen.