XXX: inline translate_button()