I think they mean like the macOS-native functionality where you hover over a URL and macOS changes the cursor from an arrow to a hand with the index finger pointing.
This might be the CSS? (I am not a CSS guy, sorry.)
Yeah, that is what I meant. And specifically for the UI buttons (although links as well, I was just mis-remembering what wasn't working how I expected it to).
Yeah I do mean for buttons. I strongly prefer having the equivalent of `cursor: pointer` for all buttons in the UI. This change is the primary reason that I didn't switch to the minimal theme before. Is there a way to bring back the pointer for buttons in the 1.0 default theme? Or will I need to create my own theme for this now?
Edit: Ah I see. You're suggesting installing the "Style Setting" plugin, installing and changing the theme to "Minimal" and then setting the "Cursor style" to "Pointer".