To make it easier to avoid pushing twice in one frame, provide a
transaction mechanism for the navigator.