How does jāʾa work after idhā?

Indeclinable Adverbs — Ghāyāt, Time and Place