@Override
			public void keyPressed(KeyEvent e) {

				if (DockingUtils.isControlModifier(e)) {
					spinnerModel.setCalendarField(Calendar.MONTH);
					dateTextField.setMonthMode();
				}
				else {
					spinnerModel.setCalendarField(Calendar.DAY_OF_MONTH);
					dateTextField.setDayMode();
				}

				switch (e.getKeyCode()) {
					case KeyEvent.VK_UP:
						increment();
						break;
					case KeyEvent.VK_DOWN:
						decrement();
						break;
					default:
						break;
				}
			}
Creates a DateSpinner object using the given spinnerModel and a pattern for a formated text field.

@param spinnerModel the spinner model
@param pattern a pattern to be used by a JFormattedTextField
Ghidra/Framework/Docking/src/main/java/docking/widgets/table/constrainteditor/DateSpinner.java