code: void leaveEditor(Navigator navigator, String target) {
  
          m_leaving = true;
          tryUnlock();
          navigator.navigateTo(target);
      }
docs: Leaves the editor view.<p>
  
  @param navigator the navigator instance
  @param target the target view