zhaohad/Notes — comment on commit e27dc2580df6ce354e7c2898b77122d1e09674bf
File: src/hw/micode/widget/DateTimePicker.java line 172
By sharpdevelop:

you can directly setEnabled(isEnabled()).