public float getValue () { return ((Double)spinner.getValue()).floatValue(); }
public float getValue () { return ((Double)spinner.getValue()).floatValue(); }
public float getValue () { return ((Double)spinner.getValue()).floatValue(); }
public float getValue () { return ((Double)spinner.getValue()).floatValue(); }
public void showDialog () { JSpinner spinner = new JSpinner(new SpinnerNumberModel(currentValue, min, max, 0.1f)); if (showValueDialog(spinner, description)) value = String.valueOf(((Double)spinner.getValue()).floatValue()); }
public void showDialog () { JSpinner spinner = new JSpinner(new SpinnerNumberModel(currentValue, Short.MIN_VALUE, Short.MAX_VALUE, 1)); if (showValueDialog(spinner, description)) value = String.valueOf(spinner.getValue()); }
public void stateChanged (ChangeEvent event) { value.setValue((Float)valueSpinner.getValue()); } });
public void showDialog () { JSpinner spinner = new JSpinner(new SpinnerNumberModel(currentValue, Short.MIN_VALUE, Short.MAX_VALUE, 1)); if (showValueDialog(spinner, description)) value = String.valueOf(spinner.getValue()); }
public void stateChanged (ChangeEvent event) { NumericPanel.this.value.setValue((Float)valueSpinner.getValue()); } });
public void stateChanged (ChangeEvent event) { NumericPanel.this.value.setValue((Float)valueSpinner.getValue()); } });
public void showDialog () { JSpinner spinner = new JSpinner(new SpinnerNumberModel(currentValue, min, max, 0.1f)); if (showValueDialog(spinner, description)) value = String.valueOf(((Double)spinner.getValue()).floatValue()); }
public void stateChanged (ChangeEvent event) { value.setValue((Float)valueSpinner.getValue()); } });
public void stateChanged(ChangeEvent e) { try { double newValue = (double) ((JSpinner) e.getSource()).getValue(); strokeSize = (float) newValue; reloadSvgWithProperties(); reloadMorphing(false); } catch (Exception ex) { ex.printStackTrace(); } } });
private void parseArgs (String[] args) { float scale = 1f; for (int i = 0; i < args.length; i++) { final String param = args[i]; final boolean more = i < args.length - 1; if (param.equals("-b") || param.equals("--batch")) { batchMode = true; } else if (more && (param.equals("-s") || param.equals("--scale"))) { scale = Float.parseFloat(args[++i]); } else if (more && (param.equals("-i") || param.equals("--input"))) { File f = new File(args[++i]); open(f); fontFileRadio.setText(""); updateFont(); } else if (more && (param.equals("-o") || param.equals("--output"))) { File f = new File(args[++i]); saveBm(f); } else { System.err.println("Unknown parameter: " + param); exit(3); } } fontSizeSpinner.setValue((int)(0.5f + Math.max(4, scale * ((Integer)fontSizeSpinner.getValue())))); }
private void parseArgs (String[] args) { float scale = 1f; for (int i = 0; i < args.length; i++) { final String param = args[i]; final boolean more = i < args.length - 1; if (param.equals("-b") || param.equals("--batch")) { batchMode = true; } else if (more && (param.equals("-s") || param.equals("--scale"))) { scale = Float.parseFloat(args[++i]); } else if (more && (param.equals("-i") || param.equals("--input"))) { File f = new File(args[++i]); open(f); fontFileRadio.setText(""); updateFont(); } else if (more && (param.equals("-o") || param.equals("--output"))) { File f = new File(args[++i]); saveBm(f); } else { System.err.println("Unknown parameter: " + param); exit(3); } } fontSizeSpinner.setValue((int)(0.5f + Math.max(4, scale * ((Integer)fontSizeSpinner.getValue())))); }
void save (File file) throws IOException { HieroSettings settings = new HieroSettings(); settings.setFontName((String)fontList.getSelectedValue()); settings.setFontSize(((Integer)fontSizeSpinner.getValue()).intValue()); settings.setFont2File(fontFileText.getText()); settings.setFont2Active(fontFileRadio.isSelected()); settings.setItalic(italicCheckBox.isSelected()); settings.setMono(monoCheckBox.isSelected()); settings.setGamma(((Number)gammaSpinner.getValue()).floatValue()); settings.setPaddingTop(((Number)padTopSpinner.getValue()).intValue()); settings.setPaddingRight(((Number)padRightSpinner.getValue()).intValue()); settings.setPaddingBottom(((Number)padBottomSpinner.getValue()).intValue()); settings.setPaddingLeft(((Number)padLeftSpinner.getValue()).intValue()); settings.setPaddingAdvanceX(((Number)padAdvanceXSpinner.getValue()).intValue()); settings.setPaddingAdvanceY(((Number)padAdvanceYSpinner.getValue()).intValue()); settings.setGlyphPageWidth(((Number)glyphPageWidthCombo.getSelectedItem()).intValue()); settings.setGlyphPageHeight(((Number)glyphPageHeightCombo.getSelectedItem()).intValue());
void save (File file) throws IOException { HieroSettings settings = new HieroSettings(); settings.setFontName((String)fontList.getSelectedValue()); settings.setFontSize(((Integer)fontSizeSpinner.getValue()).intValue()); settings.setFont2File(fontFileText.getText()); settings.setFont2Active(fontFileRadio.isSelected()); settings.setItalic(italicCheckBox.isSelected()); settings.setMono(monoCheckBox.isSelected()); settings.setGamma(((Number)gammaSpinner.getValue()).floatValue()); settings.setPaddingTop(((Number)padTopSpinner.getValue()).intValue()); settings.setPaddingRight(((Number)padRightSpinner.getValue()).intValue()); settings.setPaddingBottom(((Number)padBottomSpinner.getValue()).intValue()); settings.setPaddingLeft(((Number)padLeftSpinner.getValue()).intValue()); settings.setPaddingAdvanceX(((Number)padAdvanceXSpinner.getValue()).intValue()); settings.setPaddingAdvanceY(((Number)padAdvanceYSpinner.getValue()).intValue()); settings.setGlyphPageWidth(((Number)glyphPageWidthCombo.getSelectedItem()).intValue()); settings.setGlyphPageHeight(((Number)glyphPageHeightCombo.getSelectedItem()).intValue());
final JSpinner spinner = new JSpinner(); JComponent comp = spinner.getEditor(); JFormattedTextField field = (JFormattedTextField) comp.getComponent(0); DefaultFormatter formatter = (DefaultFormatter) field.getFormatter(); formatter.setCommitsOnValidEdit(true); spinner.addChangeListener(new ChangeListener() { @Override public void stateChanged(ChangeEvent e) { LOG.info("value changed: " + spinner.getValue()); } });
@Override public boolean saveOptions() { IGlobalOptions options = ServiceLocator.getInstance(IGlobalOptions.class); options.setProperty(INDENT_KEY, String.valueOf(jcb_indentResponse.isSelected())); options.setProperty(SYNTAX_COLOR_REQUEST, String.valueOf(jcb_syntaxRequest.isSelected())); options.setProperty(SYNTAX_COLOR_RESPONSE, String.valueOf(jcb_syntaxResponse.isSelected())); options.setProperty(SCROLL_SPEED, String.valueOf(js_scrollSpeed.getValue())); ServiceLocator.getInstance(RESTViewImpl.class).setTextAreaScrollSpeed(getScrollSpeed()); return true; }
private void updateThickness(boolean save) { marker.getMarker().setBorderThickness((Integer) thicknessSpinner.getValue()); updateBorder(); if (save) { plugin.updateConfig(); } }