why is right_ptr missing, or did they forget that one?

Possibly, but there are other more hotly debated one's missing/undecided too, such as left_ptr_watch and various dnd.

I only know enough to see that right-ptr was axed in the initial change, which was later partially reverted by what I referred to as a 'compromise'... albeit sans the right_ptr.

I'm not a gnome/gtk affiliate, just a curious user following the fallout from this change, so I've filed issues with a few affected applications such as here, Evolution Mail, and Foot terminal. The Foot developer wasn't too keen on this change either but did make some quick accommodations for preferring CSS cursor names.

I really never knew how many folks were so passionate about cursors! I don't care so much about my pointer, but I do cherish a clean system journal.

—
Reply to this email directly, view it on GitHub, or unsubscribe.
You are receiving this because you are subscribed to this thread.