scheduleTextComponent.setMargin(new java.awt.Insets(2, 2, 2, 2)); scheduleTextComponent.addPropertyChangeListener(new java.beans.PropertyChangeListener() { public void propertyChange(java.beans.PropertyChangeEvent evt) {
/** * Dfinit la largeur (en nombre de colonnes) d'un champ. * Eventuellement, cette mthode peut aussi redfinir le format. */ private static void setup(final JSpinner spinner, final int width, final Format format) { final JFormattedTextField field=((JSpinner.DefaultEditor)spinner.getEditor()).getTextField(); field.setMargin(new Insets(/*top*/0, /*left*/6, /*bottom*/0, /*right*/3)); field.setColumns(width); if (format!=null) { ((InternationalFormatter)field.getFormatter()).setFormat(format); } }
private Dimension getCompareMinimumSize() { JFormattedTextField field = new JFormattedTextField(getFormatter()); field.setMargin(getMargin()); field.setBorder(getBorder()); field.setFont(getFont()); field.setValue(new Date()); Dimension min = field.getPreferredSize(); field.setValue(null); min.width += Math.max(field.getPreferredSize().width, 4); return min; }
private Dimension getCompareMinimumSize() { JFormattedTextField field = new JFormattedTextField(getFormatter()); field.setMargin(getMargin()); field.setBorder(getBorder()); field.setFont(getFont()); field.setValue(new Date()); Dimension min = field.getPreferredSize(); field.setValue(null); min.width += Math.max(field.getPreferredSize().width, 4); return min; }
private Dimension getCompareMinimumSize() { JFormattedTextField field = new JFormattedTextField(getFormatter()); field.setMargin(getMargin()); field.setBorder(getBorder()); field.setFont(getFont()); field.setValue(new Date()); Dimension min = field.getPreferredSize(); field.setValue(null); min.width += Math.max(field.getPreferredSize().width, 4); return min; }
private Dimension getCompareMinimumSize() { JFormattedTextField field = new JFormattedTextField(getFormatter()); field.setMargin(getMargin()); field.setBorder(getBorder()); field.setFont(getFont()); field.setValue(new Date()); Dimension min = field.getPreferredSize(); field.setValue(null); min.width += Math.max(field.getPreferredSize().width, 4); return min; }
/** * @return */ private int getNullWidth() { JFormattedTextField field = new JFormattedTextField(getFormatter()); field.setMargin(getMargin()); field.setBorder(getBorder()); field.setFont(getFont()); field.setValue(new Date()); return field.getPreferredSize().width; }
Insets insets = editor.getMargin(); insets.right += 2; editor.setMargin(insets);