JPanel topPane = new JPanel();
topPane.setLayout(new BoxLayout(topPane, BoxLayout.PAGE_AXIS));
topPane.setBorder(BorderFactory.createEmptyBorder(5, 5, 5, 5));
magErrorSelector = new NumberSelectionPane(
"Select Maximum Magnitude Error", min, max, increment,
initial, NumericPrecisionPrefs.getMagInputFormat());
topPane.add(magErrorSelector);