e790. setting the margin space on a jspinner component.txt

这里面包含了一百多个JAVA源文件

// Create a number spinner
    JSpinner spinner = new JSpinner();
    
    // Get the text field
    JFormattedTextField tf =
        ((JSpinner.DefaultEditor)spinner.getEditor()).getTextField();
    
    // Set the margin (add two spaces to the left and right side of the value)
    int top = 0;
    int left = 2;
    int bottom = 0;
    int right = 2;
    Insets insets = new Insets(top, left, bottom, right);
    tf.setMargin(insets);