Integer Editor

Allows you to change integer resource values (such as border width).

Integer Editor

Type the new integer value into the text window.

 

Documentation: