private JSpinner createSlider(String _title) { SpinnerNumberModel model = new SpinnerNumberModel(); final JSpinner slX = new JSpinner(model); slX.setName(_title); model.setStepSize(new Integer(5)); return slX; }
protected void createMinute() { $objectMap.put("minute", minute = new JSpinner()); minute.setName("minute"); minute.addChangeListener(JAXXUtil.getEventListener(ChangeListener.class, "stateChanged", this, "doStateChanged__on__minute")); }
protected void createHour() { $objectMap.put("hour", hour = new JSpinner()); hour.setName("hour"); hour.addChangeListener(JAXXUtil.getEventListener(ChangeListener.class, "stateChanged", this, "doStateChanged__on__hour")); }
protected void createMinute() { $objectMap.put("minute", minute = new JSpinner()); minute.setName("minute"); minute.addChangeListener(JAXXUtil.getEventListener(ChangeListener.class, "stateChanged", this, "doStateChanged__on__minute")); }
protected void createMinute() { minute = new javax.swing.JSpinner(); $objectMap.put("minute", minute); minute.setName("minute"); minute.addChangeListener((javax.swing.event.ChangeListener) jaxx.runtime.Util.getEventListener(javax.swing.event.ChangeListener.class, "stateChanged", $JPanel0, "doStateChanged__on__minute")); }
protected void createHour() { $objectMap.put("hour", hour = new JSpinner()); hour.setName("hour"); hour.addChangeListener(JAXXUtil.getEventListener(ChangeListener.class, "stateChanged", this, "doStateChanged__on__hour")); }
protected void createHour() { hour = new javax.swing.JSpinner(); $objectMap.put("hour", hour); hour.setName("hour"); hour.addChangeListener((javax.swing.event.ChangeListener) jaxx.runtime.Util.getEventListener(javax.swing.event.ChangeListener.class, "stateChanged", $JPanel0, "doStateChanged__on__hour")); }
@Override public void setName(String name) { super.setName(name); slider.setName(name); spinner.setName(name); } }
jSpinnerZoom.setName("jSpinnerZoom"); // NOI18N jSpinnerZoom.addMouseWheelListener(new java.awt.event.MouseWheelListener() { public void mouseWheelMoved(java.awt.event.MouseWheelEvent evt) {
SpinnerNumberModel numberModel = new SpinnerNumberModel(50505, 1025, 65000, 1); JSpinner jSpinner = new JSpinner(numberModel); jSpinner.setName("StartSocketListenerDialog.port"); MigLayout migLayout = new MigLayout(); JPanel panel = new JPanel(migLayout);
pnlButton.add(btnCancel); value.setName("value"); // NOI18N
new SpinnerListModel(new ArrayList<>(ShapeSet.getTemplateNotes(sheet)))); shapeSpinner.addChangeListener(this); shapeSpinner.setName("shapeSpinner"); shapeSpinner.setToolTipText("Selection of template shape"); Arrays.asList(Anchor.LEFT_STEM, Anchor.RIGHT_STEM, Anchor.MIDDLE_LEFT))); anchorSpinner.addChangeListener(this); anchorSpinner.setName("anchorSpinner"); anchorSpinner.setToolTipText("Selection of template anchor");
descPanel.add(lblShares, gbc); spnShares.setName("spnShares"); // NOI18N gbc.gridx = 1; gbc.gridy = y++;
limitLogHistoryToSpinner.setModel(new SpinnerNumberModel(5, 1, 100, 1)); limitLogHistoryToSpinner.setMinimumSize(new Dimension(60, 20)); limitLogHistoryToSpinner.setName("limitLogHistoryToSpinner"); limitLogHistoryToSpinner.setPreferredSize(new Dimension(60, 20)); gridBagConstraints = new GridBagConstraints();
0, null, 1)); spn.setPreferredSize(spinnerSize); spn.setName(atype.getInternalName()); spn.addChangeListener(this); if (atype.getTonnage(entity) > 1) {
final Double bigStep = spinnerStep.doubleValue() * 10; final JSpinner spinner = createSpinner(v, min, max, spinnerStep, bigStep, formatPattern); spinner.setName(properties.getLabel()); spinner.addChangeListener(e -> param.setValue(spinner.getValue(), null)); param.addParamChangeListener(event -> spinner.setValue(param.getValue()));
idSpinner.setName("idSpinner"); idSpinner.setToolTipText("Spinner for any entity id");
startDate.setEditor(new javax.swing.JSpinner.DateEditor(startDate, "yyyy-MM-dd HH:mm:ss")); startDate.setMinimumSize(new java.awt.Dimension(200, 28)); startDate.setName(""); // NOI18N jToolBar1.add(startDate);
startDate.setEditor(new javax.swing.JSpinner.DateEditor(startDate, "yyyy-MM-dd HH:mm:ss")); startDate.setMinimumSize(new java.awt.Dimension(200, 28)); startDate.setName(""); // NOI18N jToolBar1.add(startDate);
final Double bigStep = spinnerStep.doubleValue() * 10; final JSpinner spinner = createSpinner(v, min, max, spinnerStep, bigStep, formatPattern); spinner.setName(properties.getLabel()); spinner.addChangeListener(new ChangeListener() { public void stateChanged(ChangeEvent e) {