I would like to be able to select one or more existing rounded rectangle shapes and change the corner radius to a precise amount by entering a pixel value with the keyboard. Right now, the only way to get a precise corner radius after the rectangle has been created is to zoom in and carefully use the corner widgets. That's a pain if you want to change the corner radius of a bunch of boxes.