Can we get grips with size that we can control?

[Ducasse]

I was fedup to not be able to grab fast a window corner so I multiply by 10 the previous value of the thickness and I obtained

ToCornerResizeGrips>> layoutIn: anElement

	self extent: (thickness * 20) asPoint

And this is much nicer to grab grips.
Now this raises the questions

• should it be possible to change this via a theme based setting?
• how this can be taken into account by a setting?
• should it be?

[Ducasse]

@plantec

[plantec]

The window was made before the skin infrastructure.
I guess that the grip size could be given by the theme.

[Ducasse]

OK because this is important to get easy to grab corners.

This is good exercise for me because this is still unclear how I do that in the raw theme an advanced one.
Do you have an idea of the nomenclature for the theme 'window-corner-grips-size'?

[plantec]

'window-corner-grips-size' sounds good
You can setup the extent in a ToInstallSkinEvent action for ToResizeGrip.
I let you do that ?
:)

[Ducasse]

I have no idea how to do it :)

[plantec]

not so easy.
have a look at the PR #356