timeIntervalEditor.forceNegativeData();
}
}
});
timeIntervalTitle = new JLabel("Time interval (minutes)");
timeIntervalEditor = new PositiveActivableNumberSpinner();
timeIntervalEditor.setNumberValue(15);
timeIntervalEditor.setMinimum(5);
timeIntervalEditor.setMaximum(1000);
timeIntervalEditor.setStep(1);