moved translation code from ui.rodin to core.rodin