Minor issue with number inputs

[Toad06]

Hello,

Using the arrows of a number input will actually not change the relevant value. This seems to happen every time the "plus" and "minus" buttons are provided. For example, in the "Brush" tool, change the size with the arrows instead of the +/- buttons and notice the size actually remains to 10.

[viliusle]

I can not reproduce it. Which browser, which scenario? Using both buttons or keyboards works, but i found few related anomalies in code, maybe it will help (added more validation).

[Toad06]

Both Firefox and Chrome. My explanations were not really clear, I have attached an image so it will be easier to see what I was talking about.

Adding this attribute to the input seems to fix it (only tested on Firefox):
oninput="GUI.update_attribute(this);"

[viliusle]

another, final fix should be on 3.3.4 version.