Popup border resize handle size

Using 7.9.12, any way to make the popup resize handle bigger? This would be nice for touch screen applications where it’s difficult to “grab” it.

1

Curious if anyone has any suggestions.

I can’t figure out whether this is something in our codebase or an underlying Java Swing mechanism. If it’s the latter, then there’s a decent chance there’s some global way to override it. If it’s “ours”, then it’s probably not designed to be that flexible.