/** The time modify page. */
void modifyMenu() {
modify = true; // stop the time request thread
if (timeRequester != null) {
while (!timeRequesterReady) {
try {
ThreadExt.sleep(100);
} catch (InterruptedException ex) {
}
}
timeRequester = null;
}
mainContainer.removeAll(); // remove all components
graphics.clearRect(0, 0, 128, 64); // clear screen
day = null; // delete all components for the garbage collector
month = null;
year = null;
clock = null;
changeButton = null;
mainContainer.add(new Border("Datum/Uhrzeit stellen", 0, 0, 128, 64)); // border
okButton = new Button("Ok", 2, 51, 40, 11); // ok button
okButton.setActionListener(this);
mainContainer.add(okButton);
cancelButton = new Button("Abbrechen", 44, 51, 40, 11); // cancel button
cancelButton.setActionListener(this);
mainContainer.add(cancelButton);
// initialize all number choosers with the current time
Time t = new Time();
dayChange = new NumberChooser(10, 10, 1, 31); // day
dayChange.setValue(t.day);
mainContainer.add(dayChange);
dayChange.setActionListener(this);
monthChange = new NumberChooser(40, 10, 1, 12); // month
monthChange.setValue(t.month);
mainContainer.add(monthChange);
monthChange.setActionListener(this);
yearChange = new NumberChooser(70, 10, 2003, 2099); // year
yearChange.setValue(t.year);
mainContainer.add(yearChange);
yearChange.setActionListener(this);
hourChange = new NumberChooser(10, 25, 0, 23); // hours
hourChange.setValue(t.hour);
mainContainer.add(hourChange);
hourChange.setActionListener(this);
minuteChange = new NumberChooser(40, 25, 0, 59); // minutes
minuteChange.setValue(t.minute);
mainContainer.add(minuteChange);
minuteChange.setActionListener(this);
secondChange = new NumberChooser(70, 25, 0, 59); // seconds
secondChange.setValue(t.second);
mainContainer.add(secondChange);
secondChange.setActionListener(this);
okButton.requestFocus();
}
