back function

void back()

Moves one entry back in browser history.

Implementation

void back() {
  navigation.back();
}