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.


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.