[Rseding91] [0.17.25] Ore intensity in editor cannot be set higher than 8000

[knightelite]

What I tried:

Setting Ore intensity in editor to a large value by typing into the text box.

What happened:

Value was reset to 8000.

What I expected to happen:

I expected it to accept the higher value the same way the game's other textboxes do. Making patches with ore values in the millions with only 8k per tile is unnecessarily tedious.

Gif demonstrating the issue.

[Rseding91]

Thanks for the report. I've changed the intensity slider fields to support numbers larger than the slider limits for the next version of 0.17. I specifically didn't change the size sliders because those being too big has huge performance implications.