List: rounded selection

[DevCharly]

This PR enables using "rounded" selection for list selection.

This is not yet used in any theme, but intended to be used
for macOS themes (see PR #533) and future Windows 11 style themes.

Examples

UI properties for above screenshot (see Application properties files):

List.selectionInsets = 0,1,0,1
List.selectionArc = 6

The problem with this is that there is no gap between the top border and the first selected item:

To fix this, a empty border can be used instead of selectionInsets:

List.border = 1,1,1,1
List.selectionArc = 6

Layout orientation

Works also for layout orientations VERTICAL_WRAP and HORIZONTAL_WRAP:

List.selectionInsets = 0,1,0,1
List.selectionArc = 6

With zero selectionInsets it looks like this:

List.border = 1,1,1,1
List.selectionArc = 6

[DevCharly]

The PR is merged. Don't know why GitHub did not recognize it.