this.maximumLength.setToolTipText(I18n.valueByKey("BRUTEFORCE_MAX_TOOLTIP")); this.minimumLength.setPreferredSize(new Dimension(38, (int) this.minimumLength.getPreferredSize().getHeight())); this.maximumLength.setPreferredSize(new Dimension(38, (int) this.maximumLength.getPreferredSize().getHeight())); 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()));
public Dimension getPreferredSize() { Dimension d = super.getPreferredSize(); d.width = this.width; return d; }
@Override public Dimension getPreferredSize() { final Dimension size = super.getPreferredSize(); return new Dimension(size.width, textField.getPreferredSize().height); } };
@Override public Dimension getPreferredSize() { final Dimension size = super.getPreferredSize(); return new Dimension(size.width, textField.getPreferredSize().height); } };
/** * @return the preferred size for this component */ public Dimension getPreferredSize() { if (m_spinner_active) return m_spinner.getPreferredSize(); else return m_focus_glyph.getPreferredSize(); }
@Override public Dimension getPreferredSize() { return new Dimension(spinner.getPreferredSize().width + picker.getPreferredSize().width, Math.max(picker.getPreferredSize().height, spinner.getPreferredSize().height)); }
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; }
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; }
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(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 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 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 void mousePressed(MouseEvent evt) { remove(m_focus_glyph); JSpinner spinner = getSpinner(); remove(spinner); Dimension d = spinner.getPreferredSize(); // d.width = d.width*3/2; setSize(d); add(spinner); revalidate(); m_spinner_active = true; notifyListeners(new ActionEvent(FocusBox.this, ActionEvent.ACTION_PERFORMED, FOCUS_BOX_ACTIVATED)); } });
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); }