DonaldKnuth › GettingThingsDone › JrCho › UbuntuLinux › ReallyGoodEditor
".$options[timer]->Write()."