this.minimumLength.setMaximumSize(new Dimension(38, (int) this.minimumLength.getPreferredSize().getHeight())); this.maximumLength.setMaximumSize(new Dimension(38, (int) this.maximumLength.getPreferredSize().getHeight())); this.minimumLength.setMinimumSize(new Dimension(38, (int) this.minimumLength.getPreferredSize().getHeight())); this.maximumLength.setMinimumSize(new Dimension(38, (int) this.maximumLength.getPreferredSize().getHeight()));
private JPanel createSelectDelay() { JPanel ret = new JPanel(); ret.setLayout(new BoxLayout(ret, BoxLayout.X_AXIS)); periodSpinner = new JSpinner(new SpinnerNumberModel(framePeriod,0,1000,10)); periodSpinner.setMaximumSize(periodSpinner.getPreferredSize()); periodSpinner.addChangeListener(this); ret.add(new JLabel("Delay")); ret.add(periodSpinner); return ret; }
private JPanel createSelectDelay() { JPanel ret = new JPanel(); ret.setLayout(new BoxLayout(ret, BoxLayout.X_AXIS)); periodSpinner = new JSpinner(new SpinnerNumberModel(framePeriod,0,1000,10)); periodSpinner.setMaximumSize(periodSpinner.getPreferredSize()); periodSpinner.addChangeListener(this); ret.add(new JLabel("Delay")); ret.add(periodSpinner); return ret; }
private JPanel createSelectDelay() { JPanel ret = new JPanel(); ret.setLayout(new BoxLayout(ret, BoxLayout.X_AXIS)); periodSpinner = new JSpinner(new SpinnerNumberModel(framePeriod,0,1000,10)); periodSpinner.setMaximumSize(periodSpinner.getPreferredSize()); periodSpinner.addChangeListener(this); ret.add(new JLabel("Delay")); ret.add(periodSpinner); return ret; }
public JSpinner spinner(int initial , int minimum , int maximum, int stepSize ) { JSpinner spinner = new JSpinner(new SpinnerNumberModel(initial, minimum, maximum, stepSize)); spinner.setMaximumSize(spinner.getPreferredSize()); spinner.addChangeListener((ChangeListener)this); return spinner; }
protected JSpinner spinner( double initial , double minimum , double maximum, double stepSize ) { JSpinner spinner = new JSpinner(new SpinnerNumberModel(initial, minimum, maximum, stepSize)); spinner.setMaximumSize(spinner.getPreferredSize()); spinner.addChangeListener((ChangeListener)this); return spinner; }
public JSpinner spinner(double initial , double minimum , double maximum, double stepSize ) { JSpinner spinner = new JSpinner(new SpinnerNumberModel(initial, minimum, maximum, stepSize)); spinner.setMaximumSize(spinner.getPreferredSize()); spinner.addChangeListener((ChangeListener)this); return spinner; }
protected JSpinner spinner(int initial , int minimum , int maximum, int stepSize , ChangeListener listener ) { JSpinner spinner = new JSpinner(new SpinnerNumberModel(initial, minimum, maximum, stepSize)); spinner.setMaximumSize(spinner.getPreferredSize()); spinner.addChangeListener(listener); return spinner; }
protected JSpinner spinner(int initial , int minimum , int maximum, int stepSize ) { JSpinner spinner = new JSpinner(new SpinnerNumberModel(initial, minimum, maximum, stepSize)); spinner.setMaximumSize(spinner.getPreferredSize()); spinner.addChangeListener((ChangeListener)this); return spinner; }
public ImageCorruptPanel() { noiseLevel = new JSpinner(new SpinnerNumberModel(valueNoise,0,100,5)); noiseLevel.addChangeListener(this); noiseLevel.setMaximumSize(noiseLevel.getPreferredSize()); lightScale = new JSpinner(new SpinnerNumberModel(valueScale,0.5,2,0.1)); lightScale.addChangeListener(this); lightScale.setMaximumSize(lightScale.getPreferredSize()); lightOffset = new JSpinner(new SpinnerNumberModel(valueOffset,-30,30,5)); lightOffset.addChangeListener(this); lightOffset.setMaximumSize(lightOffset.getPreferredSize()); addLabeled(noiseLevel,"Noise",this); addLabeled(lightScale,"Light Scale",this); addLabeled(lightOffset,"Light Offset",this); }
protected JSpinner spinner(int initial , Object[] items ) { JSpinner spinner = new JSpinner(new SpinnerListModel(items)); spinner.setValue(items[initial]); spinner.setMaximumSize(spinner.getPreferredSize()); spinner.addChangeListener((ChangeListener)this); return spinner; }
public PanelConfigWatershed() { selectConnect = new JComboBox(new String[]{"4-Connect","8-Connect"}); selectConnect.addActionListener(this); selectConnect.setMaximumSize(selectConnect.getPreferredSize()); spinnerSize = new JSpinner(new SpinnerNumberModel(10,0,500,5)); spinnerSize.addChangeListener(this); spinnerSize.setMaximumSize(spinnerSize.getPreferredSize()); configure(); addAlignCenter(selectConnect, this); addLabeled(spinnerSize, "Min Size", this); }
public PanelConfigSlic() { selectConnect = new JComboBox(new String[]{"4-Connect","8-Connect"}); selectConnect.addActionListener(this); selectConnect.setMaximumSize(selectConnect.getPreferredSize()); spinnerTotal = new JSpinner(new SpinnerNumberModel(10,10,2000,10)); spinnerTotal.addChangeListener(this); spinnerTotal.setMaximumSize(spinnerTotal.getPreferredSize()); spinnerWeight = new JSpinner(new SpinnerNumberModel(10,10,1000,10)); spinnerWeight.addChangeListener(this); spinnerWeight.setMaximumSize(spinnerWeight.getPreferredSize()); configure(); addAlignCenter(selectConnect,this); addLabeled(spinnerTotal, "Regions", this); addLabeled(spinnerWeight, "Weight", this); }
public PanelConfigFH() { selectConnect = new JComboBox(new String[]{"4-Connect","8-Connect"}); selectConnect.addActionListener(this); selectConnect.setMaximumSize(selectConnect.getPreferredSize()); spinnerSize = new JSpinner(new SpinnerNumberModel(10,5,200,5)); spinnerSize.addChangeListener(this); spinnerSize.setMaximumSize(spinnerSize.getPreferredSize()); spinnerK = new JSpinner(new SpinnerNumberModel(10,10,4000,100)); spinnerK.addChangeListener(this); spinnerK.setMaximumSize(spinnerK.getPreferredSize()); configure(); addAlignCenter(selectConnect,this); addLabeled(spinnerSize, "Min Size", this); addLabeled(spinnerK, "K", this); }
public SubpixelCalibControlPanel( Listener listener ) { this.listener = listener; selectZoom = new JSpinner(new SpinnerNumberModel(zoom,1,100,1)); selectZoom.addChangeListener(this); selectZoom.setMaximumSize(selectZoom.getPreferredSize()); showPixel = new JCheckBox("Show Crude"); showPixel.setSelected(doShowPixel); showPixel.addItemListener(this); showPixel.setMaximumSize(showPixel.getPreferredSize()); showSubpixel = new JCheckBox("Show Refined"); showSubpixel.setSelected(doShowSubpixel); showSubpixel.addItemListener(this); showSubpixel.setMaximumSize(showSubpixel.getPreferredSize()); addLabeled(selectZoom, "Zoom:",this); addAlignLeft(showPixel, this); addAlignLeft(showSubpixel,this); }
protected JSpinner spinner( double initial , double minimum , double maximum, double stepSize, String formatString , int digits ) { JSpinner spinner = new JSpinner(new SpinnerNumberModel(initial, minimum, maximum, stepSize)); JSpinner.NumberEditor editor = new JSpinner.NumberEditor(spinner,formatString); spinner.setEditor(editor); editor.getTextField().setHorizontalAlignment(SwingConstants.CENTER); Dimension d = spinner.getPreferredSize(); d.width = digits*9; spinner.setPreferredSize(d); spinner.setMaximumSize(d); // force it to render using the format specified above. A bit of a hack. Got a better idea? spinner.setValue(1-initial);spinner.setValue(initial); spinner.addChangeListener((ChangeListener)this); return spinner; }
protected JSpinner spinner( double initial , double minimum , double maximum, double stepSize, int integerDigits, int fractionDigits ) { JSpinner spinner = new JSpinner(new SpinnerNumberModel(initial, minimum, maximum, stepSize)); JSpinner.NumberEditor editor = (JSpinner.NumberEditor)spinner.getEditor(); DecimalFormat format = editor.getFormat(); format.setMinimumFractionDigits(fractionDigits); format.setMinimumIntegerDigits(integerDigits); editor.getTextField().setHorizontalAlignment(SwingConstants.CENTER); Dimension d = spinner.getPreferredSize(); d.width = (integerDigits+1+fractionDigits)*9; spinner.setPreferredSize(d); spinner.setMaximumSize(d); // force it to render using the format specified above. A bit of a hack. Got a better idea? spinner.setValue(1-initial);spinner.setValue(initial); spinner.addChangeListener((ChangeListener)this); return spinner; }
public ViewedImageInfoPanel(double zoomMin , double zoomMax, double zoomInc ) { this.zoomMin = zoomMin; this.zoomMax = zoomMax; this.zoomInc = zoomInc; textImageSize.setEditable(false); textImageSize.setMaximumSize(textImageSize.getPreferredSize()); textCursorX.setEditable(false); textCursorX.setMaximumSize(textCursorX.getPreferredSize()); textCursorY.setEditable(false); textCursorY.setMaximumSize(textCursorY.getPreferredSize()); selectZoom = new JSpinner(new SpinnerNumberModel(zoom, zoomMin, zoomMax, zoomInc)); selectZoom.addChangeListener(this); selectZoom.setMaximumSize(selectZoom.getPreferredSize()); addLabeled(textImageSize,"Img Shape",this); addLabeled(textCursorX,"Click X",this); addLabeled(textCursorY,"Click Y",this); addLabeled(selectZoom,"Zoom", this); }
protected void configureSpinnerFloat(JSpinner spinner, int integerDigits, int fractionDigits) { double min = ((Number)((SpinnerNumberModel)spinner.getModel()).getMinimum()).doubleValue(); int adjust = min < 0 ? 1 : 0; JSpinner.NumberEditor editor = (JSpinner.NumberEditor)spinner.getEditor(); DecimalFormat format = editor.getFormat(); format.setMinimumFractionDigits(fractionDigits); format.setMinimumIntegerDigits(integerDigits); editor.getTextField().setHorizontalAlignment(SwingConstants.CENTER); Dimension d = spinner.getPreferredSize(); d.width = (adjust+integerDigits+1+fractionDigits)*11; spinner.setPreferredSize(d); spinner.setMaximumSize(d); }
private void configureSpinnerFloat( JSpinner spinner ) { JSpinner.NumberEditor editor = (JSpinner.NumberEditor)spinner.getEditor(); DecimalFormat format = editor.getFormat(); format.setMinimumFractionDigits(3); format.setMinimumIntegerDigits(1); editor.getTextField().setHorizontalAlignment(SwingConstants.CENTER); Dimension d = spinner.getPreferredSize(); d.width = 60; spinner.setPreferredSize(d); spinner.addChangeListener(this); spinner.setMaximumSize(d); }