From b7db84e161ab4098750a3cf85e6c481af5df185a Mon Sep 17 00:00:00 2001
From: =?utf8?q?Johannes=20Dahlstr=C3=B6m?= <johannesd@vaadin.com>
Date: Mon, 24 Sep 2012 13:16:55 +0300
Subject: [PATCH] Remove obsolete TODO; javadoc improvement

---
 server/src/com/vaadin/navigator/Navigator.java | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/server/src/com/vaadin/navigator/Navigator.java b/server/src/com/vaadin/navigator/Navigator.java
index c9f6946ce5..a3b0ad89a0 100644
--- a/server/src/com/vaadin/navigator/Navigator.java
+++ b/server/src/com/vaadin/navigator/Navigator.java
@@ -52,8 +52,6 @@ import com.vaadin.ui.UI;
  */
 public class Navigator implements Serializable {
 
-    // TODO divert navigation e.g. if no permissions? Or just show another view
-    // but keep URL? how best to intercept
     // TODO investigate relationship with TouchKit navigation support
 
     /**
@@ -446,6 +444,8 @@ public class Navigator implements Serializable {
      *            view name and parameters
      * 
      * @throws IllegalArgumentException
+     *             if <code>navigationState</code> does not map to a known view
+     *             and no error view is registered
      */
     public void navigateTo(String navigationState) {
         String longestViewName = null;
-- 
2.39.5