Improve padding size in the "Options" dialog

[bykka]

Description

The "Options" dialog does not look polished and one of the problems is that components have different padding sizes.
Or sometimes does not have padding at all.

• different padding
  
  
  
  
• no top padding
  
• different padding
  
  
• no bottom padding and unnecessary resize bar
  
• different top padding
  

Use case/motivation

Would to see a consistent design for all tabs of the "Options" dialog.

Related issues

No response

Are you willing to submit a pull request?

No

Code of Conduct

Yes

[neilcsmith-net]

Some good points made (except possibly for the resize bar - actually found myself needing that this week). Stuck good first issue on it, as it might be an interesting issue for a new contributor with good visible outcomes.

[mbien]

what look and feel are you using? FlatLaf won't render many of the borders on the screenshots which makes this issue less visible. In some situations adding padding without borders might leave too large gaps (e.g I don't think the hints tab needs more padding in the north with FlatLaf since there is no border). We might have to set null border in some places.

NB16 should have a more consistent looking hints tab (with all its option panels) #4906.

[bykka]

Windows L&F

[mbien]

right. FlatLaf became the default on all systems a few releases ago. We mostly pay attention that everything is working well on the default.

But fixes for other look and feels are of course welcome too as long they don't affect the default. Most of the layout issues you marked do also apply to FlatLaf.

[mbien]

gradle options UI cleanup: #5274

[mbien]

@bykka #5625 should fix this + more. A dev build will appear on the summary page of the PR workflow.