Fixing bug that set_focus() method is not currently working under Windows.