redirect method

void redirect(String url)

Replaces the current page with url through window.location.replace.

Implementation

void redirect(String url) {
  web.window.location.replace(url);
}