Esempi in Java per JSpinner.setFont

Esempio n. 1

File: JCalendar.java Progetto: amitabhverma/jif-experimental

  /** Set the time spinner's font. */
  protected void setupTimeFont() {
    Font font;
    if (spinner == null) return;

    // If not null, use what the user gave us

    if (timeFont != null) {
      spinner.setFont(timeFont);
    } else {
      font = UIManager.getFont("Spinner.font");
      spinner.setFont(font);
    }
  }