make the pencil size modifiable by a number or by a limited set of sizes

[sotha1]

Checklist

• I made sure that there are no existing issues - open or closed - to which I could contribute my information.
• I made sure that there are no existing discussions - open or closed - to which I could contribute my information.
• I have read the FAQs inside the app (Menu -> About -> FAQs) and my problem isn't listed.
• I have taken the time to fill in all the required details. I understand that the request will be dismissed otherwise.
• This issue contains only one feature request.
• I have read and understood the contribution guidelines.

Feature description

the current pencil size control is a slider bar that don't have a precise control of the size, so if you draw something at a x size and then change it to a y size and then you want to go back to the last x size, it is hard and you will pick a size that is at least similar to that x but it's not its exact size.

by creating a limited row of sizes like this in the drawing below, you can have a more precise control of the pencil's size:

Why do you want this feature?

like the reasons i mentioned before, a lot of times i'm drawing something and then i need to change the pencil size and when i want to comeback it is hard to set the exact last size.

Additional information

^{Edit by naveensingh: triggered image minimizer}

[natrius]

Maybe as an setting? Having the choice sounds like a nice idea.