https://bugs.documentfoundation.org/show_bug.cgi?id=167810
--- Comment #5 from Mike Kaganski <[email protected]> --- And last bit. The shape of cursor when pressing Ctrl, when not yet pressed the mouse, is just a cosmetic issue. It is a legitimate thing, but needs to be tracked separately. -- You are receiving this mail because: You are the assignee for the bug.
