Increase the size of the dots representing whitespaces

Hi All,

I like to show whitespaces in my code. For this, I used:

`Editor > General > Apperance` : `Show whitespaces` # to show the whitepsaces

`Editor > Color Scheme > General` : `Text > Whitespaces` # to change the dots' color.

However, it is still difficult to see the dots which represent the whitespaces. Is there any option to increase the size of the dots. I think it might be the follwoing line in `EditorPainter.java`:

 final int whiteSpaceStrokeWidth = JBUI.scale(1);

But I want to avoid compiling the project from source, is there any easier fix?

Many thanks.